Safe Haskell	None
Language	Haskell2010

Feldspar.Transformation.Framework

Documentation

transformationError :: String -> a Source

class Default t where Source

Minimal complete definition

Nothing

Methods

def :: t Source

Instances

Default Int

Default ()

Default [a]

(Default a, Default b) => Default (a, b)

(Default a, Default b, Default c) => Default (a, b, c)

class Combine t where Source

Minimal complete definition

Nothing

Methods

combine :: t -> t -> t Source

Instances

Combine Int

Combine String

Combine ()

Combine [Rule]

(Combine a, Combine b) => Combine (a, b)

class (Default (Up t), Combine (Up t)) => Transformation t Source

Associated Types

type From t Source

type To t Source

type State t Source

type Down t Source

type Up t Source

Instances

Transformation IVarPlugin

Transformation RulePlugin

data Result t s Source

Constructors

Result

Fields

result :: s (To t)
state :: State t
up :: Up t

Instances

(Transformation t, Show (s (To t)), Show (State t), Show (Up t)) => Show (Result t s)

data Result1 t s a Source

Constructors

Result1

Fields

result1 :: s (a (To t))
state1 :: State t
up1 :: Up t

Instances

(Transformation t, Show (s (b (To t))), Show (State t), Show (Up t)) => Show (Result1 t s b)

class Transformable t s where Source

Methods

transform :: t -> State t -> Down t -> s (From t) -> Result t s Source

Instances

DefaultTransformable t s => Transformable t s

Transformable IVarPlugin Program

Transformable IVarPlugin Entity

(DefaultTransformable RulePlugin t, Typeable (* -> *) t) => Transformable RulePlugin t

class Transformable1 t s a where Source

Methods

transform1 :: t -> State t -> Down t -> s (a (From t)) -> Result1 t s a Source

Instances

DefaultTransformable1 t s a => Transformable1 t s a

class DefaultTransformable t s where Source

Methods

defaultTransform :: t -> State t -> Down t -> s (From t) -> Result t s Source

Instances

Default (Up t) => DefaultTransformable t Variable

(Transformable t Constant, Transformable1 t [] Constant, Combine (Up t), Default (Up t)) => DefaultTransformable t Constant

(Transformable t Expression, Transformable t Variable, Transformable t Constant, Transformable1 t [] Expression, Combine (Up t), Default (Up t)) => DefaultTransformable t Expression

(Transformable t Variable, Transformable1 t Maybe Expression, Combine (Up t)) => DefaultTransformable t Declaration

(Transformable t Expression, Default (Up t)) => DefaultTransformable t ActualParameter

(Transformable t Constant, Transformable t Expression, Transformable1 t [] ActualParameter, Transformable t Block, Transformable t Variable, Combine (Up t), Default (Up t)) => DefaultTransformable t Pattern

(Transformable1 t [] Program, Transformable t Expression, Transformable1 t [] ActualParameter, Transformable t Block, Transformable t Variable, Combine (Up t), Default (Up t), Transformation t) => DefaultTransformable t Program

(Transformable1 t [] Declaration, Transformable t Program, Combine (Up t)) => DefaultTransformable t Block

Default (Up t) => DefaultTransformable t StructMember

(Transformable1 t [] StructMember, Transformable1 t [] Variable, Transformable t Block, Transformable t Declaration, Transformable t Constant, Combine (Up t), Default (Up t), Transformation t) => DefaultTransformable t Entity

Transformable1 t [] Entity => DefaultTransformable t Module

class DefaultTransformable1 t s a where Source

Methods

defaultTransform1 :: t -> State t -> Down t -> s (a (From t)) -> Result1 t s a Source

Instances

(Transformable t a, Default (Up t), Transformation t) => DefaultTransformable1 t Maybe a

(Transformable t a, Default (Up t), Combine (Up t), Transformation t) => DefaultTransformable1 t [] a