- deriveLift :: Name -> Q [Dec]
- deriveLiftMany :: [Name] -> Q [Dec]
- deriveLift' :: Info -> Q [Dec]
- deriveLiftMany' :: [Info] -> Q [Dec]
- class Lift t where
Documentation
deriveLift :: Name -> Q [Dec]Source
Derive Lift instances for the given datatype.
deriveLiftMany :: [Name] -> Q [Dec]Source
Derive Lift instances for many datatypes.
deriveLift' :: Info -> Q [Dec]Source
Obtain Info values through a custom reification function. This is useful when generating instances for datatypes that have not yet been declared.
deriveLiftMany' :: [Info] -> Q [Dec]Source
class Lift t where
Lift Bool | |
Lift Char | |
Lift Int | |
Lift Integer | |
Lift Rational | |
Lift Name | |
Lift () | |
Lift NameFlavour | |
Lift NameSpace | |
Lift ModName | |
Lift PkgName | |
Lift OccName | |
Lift a => Lift [a] | |
Lift a => Lift (Maybe a) | |
(Lift a, Lift b) => Lift (Either a b) | |
(Lift a, Lift b) => Lift (a, b) | |
(Lift a, Lift b, Lift c) => Lift (a, b, c) | |
(Lift a, Lift b, Lift c, Lift d) => Lift (a, b, c, d) | |
(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift (a, b, c, d, e) | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift (a, b, c, d, e, f) | |
(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift (a, b, c, d, e, f, g) |