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 |