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