Safe Haskell	Safe-Inferred
Language	Haskell2010

Cardano.Constitution.Config.Types

Contents

Synopsis

}

Documentation

The "unresolved" Predicate names, as read from JSON. At runtime, these PredKeys will each be resolved to actual PredMeaning functions.

Constructors

Instances details

Ord a
=> a	the expected value, supplied from the config (json)
-> a	the proposed value, taken from the ScriptContext
-> Bool	True means the proposed value meets the expectations.

The "meaning" of a predicate, resolved from a PredKey (a string in JSON) to a Tx binary predicate function.