lorentz-0.6.1: EDSL for the Michelson Language
Safe HaskellNone
LanguageHaskell2010

Lorentz.Empty

Description

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

Synopsis

Documentation

data Empty Source #

Replacement for uninhabited type.

Instances

Instances details
Generic Empty Source # 
Instance details

Defined in Lorentz.Empty

Associated Types

type Rep Empty :: Type -> Type #

Methods

from :: Empty -> Rep Empty x #

to :: Rep Empty x -> Empty #

TypeHasDoc Empty Source # 
Instance details

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 Source # 
Instance details

Defined in Lorentz.Empty

Associated Types

type ToT Empty :: T #

Methods

toVal :: Empty -> Value (ToT Empty) #

fromVal :: Value (ToT Empty) -> Empty #

HasAnnotation Empty Source # 
Instance details

Defined in Lorentz.Empty

Methods

getAnnotation :: FollowEntrypointFlag -> Notes (ToT Empty) Source #

type Rep Empty Source # 
Instance details

Defined in Lorentz.Empty

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

Defined in Lorentz.Empty

type TypeDocFieldDescriptions Empty = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]
type ToT Empty Source # 
Instance details

Defined in Lorentz.Empty

type ToT Empty = GValueType (Rep Empty)

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

Witness of that this code is unreachable.

Orphan instances