Documentation

Fields

• Rule

  Rule we are trying

• (NonEmpty Rule)

  The alternatives that arise from said rule

• (NonEmpty (Rule, CDDLResult))

  For each alternative, the result

Fields

• Rule

  Rule we are trying

• [[Rule]]

  List of expansions of rules

• [[(Rule, CBORTermResult)]]

  For each expansion, for each of the rules in the expansion, the result

Fields

• Rule

  Rule we are trying

• [[Rule]]

  List of expansions

• [([AMatchedItem], ANonMatchedItem)]

  A list of matched items (key, value, rule) and the unmatched item

Fields

• Rule

  Control we are trying

• (Maybe CBORTermResult)

  If it is a .cbor, the result of the underlying validation

Fields

• Rule

  Rule we are trying

• (Either Word64 CBORTermResult)

  Either the tag is wrong, or the contents are wrong

Fields

• String

  Extra information

• Rule

  Rule we are trying

Fields

• ctrTerm :: Term
   
• ctrResult :: CDDLResult