BERTestContentsIndex
Codec.ASN1.BER
Portabilityportable
Stabilityexperimental
Maintainerdominic.steinitz@blueyonder.co.uk
Contents
Types
Type classes
Function types
Description
Typecheck and decode BER representations as produced by Codec.ASN1.TLV
Synopsis
data Encoding
= Primitive TagType TagValue Length PrimitiveValue
| Constructed TagType TagValue Length [Encoding]
data Defaulted
= DefPrim TagType TagValue Length PrimitiveValue
| DefCons TagType TagValue Length [Maybe Defaulted]
type Length = Integer
class Encode a where
decode :: AbstractType -> Maybe Defaulted -> Maybe a
encodedComponents :: Encoding -> [Encoding]
encodedDefComps :: Defaulted -> [Maybe Defaulted]
defaultedTagValue :: Defaulted -> TagValue
typeCheck :: TypeDefn -> Encoding -> IO (TypeDefn, Defaulted)
replaceRef :: AbstractType -> [AbstractType] -> [Maybe Defaulted] -> AbstractType
Types
data Encoding
Constructors
Primitive TagType TagValue Length PrimitiveValue
Constructed TagType TagValue Length [Encoding]
show/hide Instances
data Defaulted
Constructors
DefPrim TagType TagValue Length PrimitiveValue
DefCons TagType TagValue Length [Maybe Defaulted]
show/hide Instances
type Length = Integer
Type classes
class Encode a where
Methods
decode :: AbstractType -> Maybe Defaulted -> Maybe a
show/hide Instances
Encode BitString
Encode Bool
Encode CertificateVersion
Encode ChildInformation
Encode Choice1
Encode Choice2
Encode Choice3
Encode Choice4
Encode Date
Encode DirectoryString
Encode EmployeeNumber
Encode EmployeeNumber'
Encode ExplicitChoice
Encode FunnyOptional
Encode IA5String
Encode Integer
Encode Journey
Encode Library
Encode Name
Encode NoTags
Encode OID
Encode OctetString
Encode Odyssey
Encode PersonnelRecord
Encode PrintableString
Encode TextBook
Encode Type2
Encode Type3
Encode Type4
Encode VisibleString
Encode a => Encode (SetOf a)
Encode a => Encode [a]
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