Lorentz.Empty

Support for uninhabited type.

Currently they are not supported my Michelson, so we provide a sort of replacement.

This module should be removed once the proposal is implemented: https://gitlab.com/tezos/tezos/issues/662

Documentation

data Empty

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

HasTypeAnn Empty

Defined in Lorentz.Empty

Methods

getTypeAnn :: Notes (ToT Empty)

type Rep Empty

Defined in Lorentz.Empty

type Rep Empty = D1 ('MetaData "Empty" "Lorentz.Empty" "lorentz-0.4.0-4bB2PLHB7038abCZLw1vnA" '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)

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