|
Data.Generics.SYB.WithClass.Basics |
|
|
|
Synopsis |
|
|
|
Documentation |
|
module Data.Typeable |
|
module Data.Generics.SYB.WithClass.Context |
|
|
|
|
| Methods | gfoldl :: Proxy ctx -> (forall b c. Data ctx b => w (b -> c) -> b -> w c) -> (forall g. g -> w g) -> a -> w a | Source |
| | gunfold :: Proxy ctx -> (forall b r. Data ctx b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c a | Source |
| | | | | | | Mediate types and unary type constructors
| | | Mediate types and binary type constructors
|
|
|
|
type GenericT ctx = forall a. Data ctx a => a -> a | Source |
|
|
|
|
|
|
|
type GenericM m ctx = forall a. Data ctx a => a -> m a | Source |
|
|
|
|
type GenericQ ctx r = forall a. Data ctx a => a -> r | Source |
|
|
|
|
|
|
|
|
|
|
Build a term skeleton
|
|
|
Build a term and use a generic function for subterms
|
|
|
Monadic variation on "fromConstrB"
|
|
|
Representation of datatypes.
| A package of constructor representations with names of type and module.
| The list of constructors could be an array, a balanced tree, or others.
| Constructors | |
|
|
|
Representation of constructors
| Constructors | |
|
|
|
Public representation of datatypes
| Constructors | AlgRep [Constr] | | IntRep | | FloatRep | | StringRep | | NoRep | |
|
|
|
|
Public representation of constructors
| Constructors | |
|
|
|
Unique index for datatype constructors.
| Textual order is respected. Starts at 1.
|
|
|
Fixity of constructors
| Constructors | |
|
|
|
Gets the type constructor including the module
|
|
|
Gets the public presentation of datatypes
|
|
|
Gets the datatype of a constructor
|
|
|
Gets the public presentation of constructors
|
|
|
Look up a constructor by its representation
|
|
|
Constructs an algebraic datatype
|
|
|
Constructs a constructor
|
|
|
Gets the constructors
|
|
|
Gets the field labels of a constructor
|
|
|
Gets the fixity of a constructor
|
|
|
Gets the string for a constructor
|
|
|
Lookup a constructor via a string
|
|
|
Test for an algebraic type
|
|
|
Gets the constructor for an index
|
|
|
Gets the index of a constructor
|
|
|
Gets the maximum constructor index
|
|
|
Constructs the Int type
|
|
|
Constructs the Float type
|
|
|
Constructs the String type
|
|
|
Helper for mkIntType, mkFloatType, mkStringType
|
|
|
|
|
|
|
|
|
|
|
Constructs a non-representation
|
|
|
Test for a non-representable type
|
|
Produced by Haddock version 2.6.0 |