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