| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Test.Cardano.Ledger.Core.Binary.CDDL
Synopsis
- coin ∷ Rule
- positive_coin ∷ Rule
- address ∷ Rule
- reward_account ∷ Rule
- addr_keyhash ∷ Rule
- pool_keyhash ∷ Rule
- vrf_keyhash ∷ Rule
- hash28 ∷ Rule
- hash32 ∷ Rule
- vkey ∷ Rule
- vrf_vkey ∷ Rule
- vrf_cert ∷ Rule
- kes_vkey ∷ Rule
- kes_signature ∷ Rule
- signkeyKES ∷ Rule
- signature ∷ Rule
- big_int ∷ Rule
- big_uint ∷ Rule
- big_nint ∷ Rule
- minInt64 ∷ Integer
- maxInt64 ∷ Integer
- maxWord64 ∷ Integer
- negInt64 ∷ Rule
- posInt64 ∷ Rule
- nonZeroInt64 ∷ Rule
- int64 ∷ Rule
- positive_int ∷ Rule
- unit_interval ∷ Rule
- nonnegative_interval ∷ Rule
- bounded_bytes ∷ Rule
- distinct ∷ IsSizeable s ⇒ Value s → Rule
Documentation
this is the same as the current int64 definition but without zero
nonnegative_interval ∷ Rule Source #
nonnegative_interval = tag 0 [uint, positive_int]