Safe Haskell | None |
---|---|
Language | Haskell2010 |
Utility class to demote promoted datatypes.
Documentation
class Demote (x :: k) where Source #
Demotes a promoted data kind.
Instances
Demote 'Encode Source # | |
Defined in Crypto.BLST.Internal.Bindings.Types | |
Demote 'Hash Source # | |
Defined in Crypto.BLST.Internal.Bindings.Types | |
Demote 'P1 Source # | |
Defined in Crypto.BLST.Internal.Bindings.Types | |
Demote 'P2 Source # | |
Defined in Crypto.BLST.Internal.Bindings.Types | |
Demote 'G1 Source # | |
Defined in Crypto.BLST.Internal.Classy | |
Demote 'G2 Source # | |
Defined in Crypto.BLST.Internal.Classy |