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