Safe Haskell | None |
---|
Feldspar.Transformation.Framework
Documentation
transformationError :: String -> a
class Default t where
Methods
def :: t
Instances
Default Bool | |
Default Bool | |
Default Int | |
Default () | |
Default Collection | |
Default SignatureInformation | |
Default TypeCatalog | |
Default [String] | |
Default [a] | |
Default [Declaration ()] | |
Default (Maybe SemInfPrg) | |
Default (Program DebugToCSemanticInfo) | |
(Default a, Default b) => Default (a, b) | |
(Default a, Default b, Default c) => Default (a, b, c) |
class (Default (Up t), Combine (Up t)) => Transformation t
Instances
data Result t s
data Result1 t s a
class Transformable t s where
Instances
class Transformable1 t s a where
Methods
transform1 :: t -> State t -> Down t -> s (a (From t)) -> Result1 t s a
Instances
class DefaultTransformable t s where
Methods
defaultTransform :: t -> State t -> Down t -> s (From t) -> Result t s
Instances
class DefaultTransformable1 t s a where
Methods
defaultTransform1 :: t -> State t -> Down t -> s (a (From t)) -> Result1 t s a
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 |