Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
Replacement for uninhabited type.
Instances
Generic Empty Source # | |
TypeHasDoc Empty Source # | |
Defined in Lorentz.Empty type TypeDocFieldDescriptions Empty :: FieldDescriptions # typeDocName :: Proxy Empty -> Text # typeDocMdDescription :: Markdown # typeDocMdReference :: Proxy Empty -> WithinParens -> Markdown # typeDocDependencies :: Proxy Empty -> [SomeDocDefinitionItem] # typeDocHaskellRep :: TypeDocHaskellRep Empty # typeDocMichelsonRep :: TypeDocMichelsonRep Empty # | |
IsoValue Empty Source # | |
HasAnnotation Empty Source # | |
Defined in Lorentz.Empty getAnnotation :: FollowEntrypointFlag -> Notes (ToT Empty) Source # | |
type Rep Empty Source # | |
Defined in Lorentz.Empty | |
type TypeDocFieldDescriptions Empty Source # | |
Defined in Lorentz.Empty | |
type ToT Empty Source # | |
Defined in Lorentz.Empty |
Orphan instances
CustomErrorHasDoc "emptySupplied" Source # | |
Buildable (CustomError "emptySupplied") Source # | |
build :: CustomError "emptySupplied" -> Builder # |