| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Crypto.BLST.Internal.Demote
Description
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 Methods | |
| Demote 'Hash Source # | |
Defined in Crypto.BLST.Internal.Bindings.Types Methods | |
| 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 | |