Safe Haskell	None
Language	Haskell2010

Lorentz.TypeAnns

Description

Type annotations for Lorentz types.

Documentation

class HasTypeAnn a where Source #

Methods

getTypeAnn :: Notes (ToT a) Source #

Instances

HasTypeAnn Bool Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Bool) Source #
HasTypeAnn Integer Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Integer) Source #
HasTypeAnn Natural Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Natural) Source #
(GHasTypeAnn (Rep a), GValueType (Rep a) ~ ToT a) => HasTypeAnn a Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT a) Source #
HasTypeAnn ByteString Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT ByteString) Source #
HasTypeAnn Operation Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Operation) Source #
HasTypeAnn EpAddress Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT EpAddress) Source #
HasTypeAnn Address Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Address) Source #
HasTypeAnn Mutez Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Mutez) Source #
HasTypeAnn Timestamp Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Timestamp) Source #
HasTypeAnn PublicKey Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT PublicKey) Source #
HasTypeAnn Signature Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT Signature) Source #
HasTypeAnn KeyHash Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT KeyHash) Source #
HasTypeAnn MText Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT MText) Source #
HasTypeAnn a => HasTypeAnn [a] Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT [a]) Source #
HasTypeAnn a => HasTypeAnn (Maybe a) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (Maybe a)) Source #
(SingI (ToCT v), Typeable (ToCT v)) => HasTypeAnn (Set v) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (Set v)) Source #
HasTypeAnn a => HasTypeAnn (ContractRef a) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (ContractRef a)) Source #
HasTypeAnn v => HasTypeAnn (Map k v) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (Map k v)) Source #
HasTypeAnn v => HasTypeAnn (BigMap k v) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (BigMap k v)) Source #
(HasTypeAnn (ZippedStack i), HasTypeAnn (ZippedStack o)) => HasTypeAnn (i :-> o) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (i :-> o)) Source #
(HasTypeAnn (Maybe a), KnownSymbol name) => HasTypeAnn (NamedF Maybe a name) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (NamedF Maybe a name)) Source #
(HasTypeAnn a, KnownSymbol name) => HasTypeAnn (NamedF Identity a name) Source #
Instance details Defined in Lorentz.TypeAnns Methods getTypeAnn :: Notes (ToT (NamedF Identity a name)) Source #

class GHasTypeAnn a where Source #

Methods

gGetTypeAnn :: Notes (GValueType a) Source #

Instances

GHasTypeAnn (U1 :: Type -> Type) Source #
Instance details Defined in Lorentz.TypeAnns Methods gGetTypeAnn :: Notes (GValueType U1) Source #
HasTypeAnn x => GHasTypeAnn (Rec0 x) Source #
Instance details Defined in Lorentz.TypeAnns Methods gGetTypeAnn :: Notes (GValueType (Rec0 x)) Source #
(GHasTypeAnn x, GHasTypeAnn y) => GHasTypeAnn (x :+: y) Source #
Instance details Defined in Lorentz.TypeAnns Methods gGetTypeAnn :: Notes (GValueType (x :+: y)) Source #
(GHasTypeAnn x, GHasTypeAnn y) => GHasTypeAnn (x :*: y) Source #
Instance details Defined in Lorentz.TypeAnns Methods gGetTypeAnn :: Notes (GValueType (x :*: y)) Source #
GHasTypeAnn x => GHasTypeAnn (M1 i0 i1 x) Source #
Instance details Defined in Lorentz.TypeAnns Methods gGetTypeAnn :: Notes (GValueType (M1 i0 i1 x)) Source #