hsblst-0.0.3: Haskell bindings to BLST
Safe HaskellNone
LanguageHaskell2010

Crypto.BLST.Internal.Demote

Description

Utility class to demote promoted datatypes.

Synopsis

Documentation

class Demote (x :: k) where Source #

Demotes a promoted data kind.

Methods

demote :: k Source #

Returns a value corresponding to a promoted type.

Instances

Instances details
Demote 'Encode Source # 
Instance details

Defined in Crypto.BLST.Internal.Bindings.Types

Demote 'Hash Source # 
Instance details

Defined in Crypto.BLST.Internal.Bindings.Types

Demote 'P1 Source # 
Instance details

Defined in Crypto.BLST.Internal.Bindings.Types

Demote 'P2 Source # 
Instance details

Defined in Crypto.BLST.Internal.Bindings.Types

Demote 'G1 Source # 
Instance details

Defined in Crypto.BLST.Internal.Classy

Methods

demote :: Curve Source #

Demote 'G2 Source # 
Instance details

Defined in Crypto.BLST.Internal.Classy

Methods

demote :: Curve Source #