| |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
| Description | |||||||||||||||||||||||||||||||||||||||
| Typecheck and decode BER representations as produced by Codec.ASN1.TLV | |||||||||||||||||||||||||||||||||||||||
| Synopsis | |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
| Types | |||||||||||||||||||||||||||||||||||||||
| data Encoding | |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
| data Defaulted | |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
| type Length = Integer | |||||||||||||||||||||||||||||||||||||||
| Type classes | |||||||||||||||||||||||||||||||||||||||
| class Encode a where | |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
| Function types | |||||||||||||||||||||||||||||||||||||||
| encodedComponents :: Encoding -> [Encoding] | |||||||||||||||||||||||||||||||||||||||
| encodedDefComps :: Defaulted -> [Maybe Defaulted] | |||||||||||||||||||||||||||||||||||||||
| defaultedTagValue :: Defaulted -> TagValue | |||||||||||||||||||||||||||||||||||||||
| typeCheck :: TypeDefn -> Encoding -> IO (TypeDefn, Defaulted) | |||||||||||||||||||||||||||||||||||||||
| Type check the abstract representation of a Tag Length Value against an ASN.1 type definition. | |||||||||||||||||||||||||||||||||||||||
| replaceRef :: AbstractType -> [AbstractType] -> [Maybe Defaulted] -> AbstractType | |||||||||||||||||||||||||||||||||||||||
| Produced by Haddock version 0.8 |