Lorentz.Empty

Support for uninhabited type.

Note: this module exists solely for historical reasons since the time when Never was not yet supported by the Michelson.

TODO [#549]: remove this module.

Documentation

data Empty

Deprecated: Use Never type instead

Replacement for uninhabited type.

Instances

Generic Empty

Defined in Lorentz.Empty

Associated Types

type Rep Empty :: Type -> Type

Methods

from :: Empty -> Rep Empty x

to :: Rep Empty x -> Empty

TypeHasDoc Empty

Defined in Lorentz.Empty

Associated Types

type TypeDocFieldDescriptions Empty :: FieldDescriptions

Methods

typeDocName :: Proxy Empty -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Empty -> WithinParens -> Markdown

typeDocDependencies :: Proxy Empty -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Empty

typeDocMichelsonRep :: TypeDocMichelsonRep Empty

IsoValue Empty

Defined in Lorentz.Empty

Associated Types

type ToT Empty :: T

Methods

toVal :: Empty -> Value (ToT Empty)

fromVal :: Value (ToT Empty) -> Empty

HasAnnotation Empty

Defined in Lorentz.Empty

Methods

getAnnotation :: FollowEntrypointFlag -> Notes (ToT Empty)

annOptions :: AnnOptions

HasRPCRepr Empty

Defined in Lorentz.Empty

Associated Types

type AsRPC Empty

type Rep Empty

Defined in Lorentz.Empty

type Rep Empty = D1 ('MetaData "Empty" "Lorentz.Empty" "lorentz-0.13.4-inplace" 'True) (C1 ('MetaCons "Empty" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ())))

type TypeDocFieldDescriptions Empty

Defined in Lorentz.Empty

type TypeDocFieldDescriptions Empty = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

type ToT Empty

Defined in Lorentz.Empty

type ToT Empty = GValueType (Rep Empty)

type AsRPC Empty

Defined in Lorentz.Empty

type AsRPC Empty = Empty

absurd_ :: (Empty ': s) :-> s'

Witness of that this code is unreachable.

Orphan instances

CustomErrorHasDoc "emptySupplied"

Methods

customErrDocMdCause :: Markdown

customErrDocMdCauseInEntrypoint :: Markdown

customErrClass :: ErrorClass

customErrArgumentSemantics :: Maybe Markdown

Buildable (CustomError "emptySupplied")

Methods

build :: CustomError "emptySupplied" -> Builder