| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Core.Binary.CDDL
Synopsis
- hash28 ∷ Rule
- hash32 ∷ Rule
- hash64 ∷ Rule
- bytes80 ∷ Rule
- big_int ∷ Rule
- min_int64 ∷ Rule
- max_int64 ∷ Rule
- negative_int64 ∷ Rule
- positive_int64 ∷ Rule
- nonzero_int64 ∷ Rule
- int64 ∷ Rule
- positive_int ∷ Rule
- max_word32 ∷ Rule
- positive_word32 ∷ Rule
- unit_interval ∷ Rule
- nonnegative_interval ∷ Rule
- distinct ∷ IsSizeable s ⇒ Value s → Rule
- bounded_bytes ∷ Rule
- untagged_set ∷ IsType0 a ⇒ a → GRuleCall
- untagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall
- addr_keyhash ∷ Rule
- pool_keyhash ∷ Rule
- vrf_keyhash ∷ Rule
- vkey ∷ Rule
- vrf_vkey ∷ Rule
- vrf_cert ∷ Rule
- kes_vkey ∷ Rule
- kes_signature ∷ Rule
- signkey_kes ∷ Rule
- signature ∷ Rule
- coin ∷ Rule
- positive_coin ∷ Rule
- address ∷ Rule
- reward_account ∷ Rule
Base sized bytes
Numbers
this is the same as the current int64 definition but without zero
Unit intervals
nonnegative_interval ∷ Rule Source #
nonnegative_interval = tag 0 [uint, positive_int]
Distinct uint/bytes, bounded bytes
Sets
untagged_set ∷ IsType0 a ⇒ a → GRuleCall Source #
untagged_nonempty_set ∷ IsType0 a ⇒ a → GRuleCall Source #