Test.Cardano.Ledger.Core.Binary.CDDL
coin ∷ Rule Source #
positive_coin ∷ Rule Source #
address ∷ Rule Source #
reward_account ∷ Rule Source #
addr_keyhash ∷ Rule Source #
pool_keyhash ∷ Rule Source #
vrf_keyhash ∷ Rule Source #
hash28 ∷ Rule Source #
hash32 ∷ Rule Source #
vkey ∷ Rule Source #
vrf_vkey ∷ Rule Source #
vrf_cert ∷ Rule Source #
kes_vkey ∷ Rule Source #
kes_signature ∷ Rule Source #
signkeyKES ∷ Rule Source #
signature ∷ Rule Source #
big_int ∷ Rule Source #
big_uint ∷ Rule Source #
big_nint ∷ Rule Source #
minInt64 ∷ Integer Source #
maxInt64 ∷ Integer Source #
maxWord64 ∷ Integer Source #
negInt64 ∷ Rule Source #
posInt64 ∷ Rule Source #
nonZeroInt64 ∷ Rule Source #
int64 ∷ Rule Source #
positive_int ∷ Rule Source #
unit_interval ∷ Rule Source #
nonnegative_interval ∷ Rule Source #
bounded_bytes ∷ Rule Source #
distinct ∷ IsSizeable s ⇒ Value s → Rule Source #