Safe Haskell | None |
---|---|
Language | Haskell2010 |
Type annotations for Lorentz types.
Documentation
class HasTypeAnn a where Source #
getTypeAnn :: Notes (ToT a) Source #
Instances
class GHasTypeAnn a where Source #
gGetTypeAnn :: Notes (GValueType a) Source #
Instances
GHasTypeAnn (U1 :: Type -> Type) Source # | |
Defined in Lorentz.TypeAnns gGetTypeAnn :: Notes (GValueType U1) Source # | |
HasTypeAnn x => GHasTypeAnn (Rec0 x) Source # | |
Defined in Lorentz.TypeAnns gGetTypeAnn :: Notes (GValueType (Rec0 x)) Source # | |
(GHasTypeAnn x, GHasTypeAnn y) => GHasTypeAnn (x :+: y) Source # | |
Defined in Lorentz.TypeAnns gGetTypeAnn :: Notes (GValueType (x :+: y)) Source # | |
(GHasTypeAnn x, GHasTypeAnn y) => GHasTypeAnn (x :*: y) Source # | |
Defined in Lorentz.TypeAnns gGetTypeAnn :: Notes (GValueType (x :*: y)) Source # | |
GHasTypeAnn x => GHasTypeAnn (M1 i0 i1 x) Source # | |
Defined in Lorentz.TypeAnns gGetTypeAnn :: Notes (GValueType (M1 i0 i1 x)) Source # |