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

IsoValue Empty

Defined in Lorentz.Empty

Associated Types

type ToT Empty :: T

Methods

toVal :: Empty -> Value (ToT Empty)

fromVal :: Value (ToT Empty) -> Empty

TypeHasDoc Empty

Defined in Lorentz.Empty

Methods

typeDocName :: Proxy Empty -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Empty -> WithinParens -> Markdown

typeDocDependencies :: Proxy Empty -> [SomeTypeWithDoc]

typeDocHaskellRep :: TypeDocHaskellRep Empty

typeDocMichelsonRep :: TypeDocMichelsonRep Empty

type Rep Empty

Defined in Lorentz.Empty

type Rep Empty = D1 (MetaData "Empty" "Lorentz.Empty" "morley-0.7.0-LSdrRUk5DEH474ZZZf5NDz" True) (C1 (MetaCons "Empty" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 ())))

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