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 | |
IsoValue Empty Source # | |
HasTypeAnn Empty Source # | |
Defined in Lorentz.Empty | |
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 # |