Safe Haskell | None |
---|---|
Language | Haskell2010 |
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
Deprecated: Use Never type instead
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 # |