| |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||
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 |