Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data NeverDSIGN
- data family VerKeyDSIGN v ∷ Type
- data family SignKeyDSIGN v ∷ Type
- data family SigDSIGN v ∷ Type
Documentation
data NeverDSIGN Source #
DSIGN never used
The type of keys and signatures is isomorphic to unit, but when actually trying to sign or verify something a runtime exception will be thrown.
Instances
data family VerKeyDSIGN v ∷ Type Source #
Instances
data family SignKeyDSIGN v ∷ Type Source #
Instances
data family SigDSIGN v ∷ Type Source #