Lorentz.TypeAnns

Type annotations for Lorentz types.

Documentation

class HasTypeAnn a where

Minimal complete definition

Nothing

Methods

getTypeAnn :: Notes (ToT a)

default getTypeAnn :: (GHasTypeAnn (Rep a), GValueType (Rep a) ~ ToT a) => Notes (ToT a)

Instances

HasTypeAnn Bool

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Bool)

HasTypeAnn Integer

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Integer)

HasTypeAnn Natural

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Natural)

HasTypeAnn ()

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT ())

HasTypeAnn ByteString

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT ByteString)

HasTypeAnn Operation

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Operation)

HasTypeAnn EpAddress

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT EpAddress)

HasTypeAnn Address

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Address)

HasTypeAnn Mutez

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Mutez)

HasTypeAnn Timestamp

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Timestamp)

HasTypeAnn PublicKey

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT PublicKey)

HasTypeAnn Signature

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT Signature)

HasTypeAnn KeyHash

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT KeyHash)

HasTypeAnn MText

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT MText)

HasTypeAnn Empty

Defined in Lorentz.Empty

Methods

getTypeAnn :: Notes (ToT Empty)

HasTypeAnn a => HasTypeAnn [a]

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT [a])

HasTypeAnn a => HasTypeAnn (Maybe a)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (Maybe a))

KnownIsoT v => HasTypeAnn (Set v)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (Set v))

HasTypeAnn a => HasTypeAnn (ContractRef a)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (ContractRef a))

HasTypeAnn (FutureContract a)

Defined in Lorentz.Address

Methods

getTypeAnn :: Notes (ToT (FutureContract a))

HasTypeAnn (UStore a)

Defined in Lorentz.UStore.Types

Methods

getTypeAnn :: Notes (ToT (UStore a))

HasTypeAnn (UParam entries)

Defined in Lorentz.UParam

Methods

getTypeAnn :: Notes (ToT (UParam entries))

(HasTypeAnn a, HasTypeAnn b) => HasTypeAnn (a, b)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (a, b))

(HasTypeAnn k, HasTypeAnn v) => HasTypeAnn (Map k v)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (Map k v))

(HasTypeAnn k, HasTypeAnn v) => HasTypeAnn (BigMap k v)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (BigMap k v))

(HasTypeAnn (ZippedStack i), HasTypeAnn (ZippedStack o)) => HasTypeAnn (i :-> o)

Defined in Lorentz.Zip

Methods

getTypeAnn :: Notes (ToT (i :-> o))

HasTypeAnn (TAddress p)

Defined in Lorentz.Address

Methods

getTypeAnn :: Notes (ToT (TAddress p))

HasTypeAnn (MigrationScript oldStore newStore)

Defined in Lorentz.UStore.Migration.Base

Methods

getTypeAnn :: Notes (ToT (MigrationScript oldStore newStore))

(HasTypeAnn a, HasTypeAnn b) => HasTypeAnn (Void_ a b)

Defined in Lorentz.Macro

Methods

getTypeAnn :: Notes (ToT (Void_ a b))

(HasTypeAnn a, HasTypeAnn r) => HasTypeAnn (View a r)

Defined in Lorentz.Macro

Methods

getTypeAnn :: Notes (ToT (View a r))

HasTypeAnn (Extensible x)

Defined in Lorentz.Extensible

Methods

getTypeAnn :: Notes (ToT (Extensible x))

(HasTypeAnn a, HasTypeAnn b, HasTypeAnn c) => HasTypeAnn (a, b, c)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (a, b, c))

(HasTypeAnn (Maybe a), KnownSymbol name) => HasTypeAnn (NamedF Maybe a name)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (NamedF Maybe a name))

(HasTypeAnn a, KnownSymbol name) => HasTypeAnn (NamedF Identity a name)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (NamedF Identity a name))

(HasTypeAnn a, HasTypeAnn b, HasTypeAnn c, HasTypeAnn d) => HasTypeAnn (a, b, c, d)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (a, b, c, d))

(HasTypeAnn a, HasTypeAnn b, HasTypeAnn c, HasTypeAnn d, HasTypeAnn e) => HasTypeAnn (a, b, c, d, e)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (a, b, c, d, e))

(HasTypeAnn a, HasTypeAnn b, HasTypeAnn c, HasTypeAnn d, HasTypeAnn e, HasTypeAnn f) => HasTypeAnn (a, b, c, d, e, f)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (a, b, c, d, e, f))

(HasTypeAnn a, HasTypeAnn b, HasTypeAnn c, HasTypeAnn d, HasTypeAnn e, HasTypeAnn f, HasTypeAnn g) => HasTypeAnn (a, b, c, d, e, f, g)

Defined in Lorentz.TypeAnns

Methods

getTypeAnn :: Notes (ToT (a, b, c, d, e, f, g))

class GHasTypeAnn a where

Methods

gGetTypeAnn :: Notes (GValueType a)

Instances

GHasTypeAnn (U1 :: Type -> Type)

Defined in Lorentz.TypeAnns

Methods

gGetTypeAnn :: Notes (GValueType U1)

HasTypeAnn x => GHasTypeAnn (Rec0 x)

Defined in Lorentz.TypeAnns

Methods

gGetTypeAnn :: Notes (GValueType (Rec0 x))

(GHasTypeAnn x, GHasTypeAnn y) => GHasTypeAnn (x :+: y)

Defined in Lorentz.TypeAnns

Methods

gGetTypeAnn :: Notes (GValueType (x :+: y))

(GHasTypeAnn x, GHasTypeAnn y) => GHasTypeAnn (x :*: y)

Defined in Lorentz.TypeAnns

Methods

gGetTypeAnn :: Notes (GValueType (x :*: y))

GHasTypeAnn x => GHasTypeAnn (M1 i0 i1 x)

Defined in Lorentz.TypeAnns

Methods

gGetTypeAnn :: Notes (GValueType (M1 i0 i1 x))

insertTypeAnn :: forall (b :: T). TypeAnn -> Notes b -> Notes b

Insert the provided type annotation into the provided notes.