Language.ASN1.Parser

Documentation

Constructors

Module
Fields module_id :: ModuleIdentifier default_tag_type :: TagType module_body :: ModuleBody

Instances

Eq Module
Data Module
Ord Module
Show Module
Typeable Module

data GlobalType Source

Constructors

GlobalT TheType
GlobalDMT DefinedMacroType

Instances

Eq GlobalType
Data GlobalType
Ord GlobalType
Show GlobalType
Typeable GlobalType

data TheType Source

Constructors

TheType
Fields type_id :: Type subtype :: SubtypeSpec

Instances

Eq TheType
Data TheType
Ord TheType
Show TheType
Typeable TheType

newtype TypeName Source

Constructors

TypeName TheIdentifier

Instances

Eq TypeName
Data TypeName
Ord TypeName
Show TypeName
Typeable TypeName

data NamedNumber Source

Constructors

NamedNumber
Fields number_name :: NumberName named_number :: NumberValue

Instances

Eq NamedNumber
Data NamedNumber
Ord NamedNumber
Show NamedNumber
Typeable NamedNumber

newtype NumberName Source

Constructors

NumberName TheIdentifier

Instances

Eq NumberName
Data NumberName
Ord NumberName
Show NumberName
Typeable NumberName

data NumberValue Source

Constructors

Number Integer
DefinedVal DefinedValue
UndefinedNV

Instances

Eq NumberValue
Data NumberValue
Ord NumberValue
Show NumberValue
Typeable NumberValue

data ElementType Source

Constructors

NamedElementType
Fields element_name :: TypeName element_body :: TheType element_presence :: ElementPresence
ComponentsOf TheType

Instances

Eq ElementType
Data ElementType
Ord ElementType
Show ElementType
Typeable ElementType

data ElementPresence Source

Constructors

Optional
Default NamedValue
UndefinedElementPresence

Instances

Eq ElementPresence
Data ElementPresence
Ord ElementPresence
Show ElementPresence
Typeable ElementPresence

data NamedValue Source

Constructors

NamedValue
Fields value_name :: ValueName named_value :: TheValue

Instances

Eq NamedValue
Data NamedValue
Ord NamedValue
Show NamedValue
Typeable NamedValue

newtype ValueName Source

Constructors

ValueName TheIdentifier

Instances

Eq ValueName
Data ValueName
Ord ValueName
Show ValueName
Typeable ValueName

data SizeConstraint Source

Constructors

SizeConstraint SubtypeSpec
UndefinedSizeContraint

Instances

Eq SizeConstraint
Data SizeConstraint
Ord SizeConstraint
Show SizeConstraint
Typeable SizeConstraint

parseASN1FromFileOrDie :: String -> IO [Module]Source

parseASN1FromFile :: String -> IO (Either ParseError [Module])Source

data StringConst Source

Constructors

StringConst String

Instances

Eq StringConst
Data StringConst
Ord StringConst
Show StringConst
Typeable StringConst

data TagType Source

Constructors

Explicit
Implicit
UndefinedTagType

Instances

Eq TagType
Data TagType
Ord TagType
Show TagType
Typeable TagType

data ModuleIdentifier Source

Constructors

ModuleIdentifier ModuleReference [ObjIdComponent]

Instances

Eq ModuleIdentifier
Data ModuleIdentifier
Ord ModuleIdentifier
Show ModuleIdentifier
Typeable ModuleIdentifier

data ModuleReference Source

Constructors

ModuleReference String
UndefinedModuleReference

Instances

Eq ModuleReference
Data ModuleReference
Ord ModuleReference
Show ModuleReference
Typeable ModuleReference

data ModuleBody Source

Constructors

ModuleBody
Fields module_exports :: [[ExportedSymbol]] module_imports :: [[SymbolsFromModule]] module_assignments :: [Assignment]

Instances

Eq ModuleBody
Data ModuleBody
Ord ModuleBody
Show ModuleBody
Typeable ModuleBody

newtype ExportedSymbol Source

Constructors

ExportedSymbol TheSymbol

Instances

Eq ExportedSymbol
Data ExportedSymbol
Ord ExportedSymbol
Show ExportedSymbol
Typeable ExportedSymbol

data SymbolsFromModule Source

Constructors

SymbolsFromModule [TheSymbol] ModuleIdentifier

Instances

Eq SymbolsFromModule
Data SymbolsFromModule
Ord SymbolsFromModule
Show SymbolsFromModule
Typeable SymbolsFromModule

data TypeReference Source

Constructors

TypeReference String

Instances

Eq TypeReference
Data TypeReference
Ord TypeReference
Show TypeReference
Typeable TypeReference

data TheSymbol Source

Constructors

TypeReferenceSymbol TypeReference
TheIdentifierSymbol TheIdentifier
DefinedMacroNameSymbol DefinedMacroName

Instances

Eq TheSymbol
Data TheSymbol
Ord TheSymbol
Show TheSymbol
Typeable TheSymbol

data Assignment Source

Constructors

MacroDefinition
Fields macro_def_type :: MacroDefinitionType macro_body :: MacroBody
ValueAssignment
Fields value_ref :: TheIdentifier value_ref_type :: GlobalType assigned_value_ref :: TheIdentifier assigned_value :: BuiltinValue
TypeAssignment
Fields type_ref :: TypeReference assigned_type :: GlobalType

Instances

Eq Assignment
Data Assignment
Ord Assignment
Show Assignment
Typeable Assignment

data MacroDefinitionType Source

Constructors

DefinedMacroNameMDT DefinedMacroName
TypeReferenceMDT TypeReference

Instances

Eq MacroDefinitionType
Data MacroDefinitionType
Ord MacroDefinitionType
Show MacroDefinitionType
Typeable MacroDefinitionType

data MacroBody Source

Constructors

MacroBody String

Instances

Eq MacroBody
Data MacroBody
Ord MacroBody
Show MacroBody
Typeable MacroBody

data MacroReference Source

Constructors

TypeMacroReference TypeReference
DefinedNameMacroReference DefinedMacroName

Instances

Eq MacroReference
Data MacroReference
Ord MacroReference
Show MacroReference
Typeable MacroReference

theType :: Parser TheType Source

data SetOrSeq Source

Constructors

SetT
SequenceT

Instances

Eq SetOrSeq
Data SetOrSeq
Ord SetOrSeq
Show SetOrSeq
Typeable SetOrSeq

componentsType :: Parser TheType Source

data Tag Source

Constructors

Tag TheClass ClassNumber

Instances

Eq Tag
Data Tag
Ord Tag
Show Tag
Typeable Tag

data ClassNumber Source

Constructors

ClassNumber Integer
ClassNumberAsDefinedValue DefinedValue

Instances

Eq ClassNumber
Data ClassNumber
Ord ClassNumber
Show ClassNumber
Typeable ClassNumber

data TheClass Source

Constructors

Universal
Application
Private
UndefinedClass

Instances

Eq TheClass
Data TheClass
Ord TheClass
Show TheClass
Typeable TheClass

type SubtypeSpec = [SubtypeValueSet]Source

subtypeSpec :: Parser SubtypeSpec Source

data ValueRangeElement Source

Constructors

MinValue
MaxValue
UndefinedValue
Value TheValue

Instances

Eq ValueRangeElement
Data ValueRangeElement
Ord ValueRangeElement
Show ValueRangeElement
Typeable ValueRangeElement

subtypeValueSet :: Parser SubtypeValueSet Source

sizeConstraint :: Parser SizeConstraint Source

permittedAlphabet :: Parser SubtypeSpec Source

type TypeConstraints = [NamedConstraint]Source

data NamedConstraint Source

Constructors

NamedConstraint TheIdentifier Constraint

Instances

Eq NamedConstraint
Data NamedConstraint
Ord NamedConstraint
Show NamedConstraint
Typeable NamedConstraint

data Constraint Source

Constructors

Constraint ValueConstraint PresenceConstraint

Instances

Eq Constraint
Data Constraint
Ord Constraint
Show Constraint
Typeable Constraint

data ValueConstraint Source

Constructors

DefinedVC SubtypeSpec
UndefinedVC

Instances

Eq ValueConstraint
Data ValueConstraint
Ord ValueConstraint
Show ValueConstraint
Typeable ValueConstraint

data PresenceConstraint Source

Constructors

PresentConstraint
AbsentConstraint
OptionalConstraint
UndefinedContraint

Instances

Eq PresenceConstraint
Data PresenceConstraint
Ord PresenceConstraint
Show PresenceConstraint
Typeable PresenceConstraint

data TheValue Source

Constructors

BuiltinV BuiltinValue
DefinedV DefinedValue
UndefinedV

Instances

Eq TheValue
Data TheValue
Ord TheValue
Show TheValue
Typeable TheValue

data DefinedValue Source

Constructors

DefinedValue ModuleReference TheIdentifier

Instances

Eq DefinedValue
Data DefinedValue
Ord DefinedValue
Show DefinedValue
Typeable DefinedValue

data ObjIdComponent Source

Constructors

ObjIdNumberForm Integer
ObjIdNameAndNumberForm NamedNumber

Instances

Eq ObjIdComponent
Data ObjIdComponent
Ord ObjIdComponent
Show ObjIdComponent
Typeable ObjIdComponent

data TheIdentifier Source

Constructors

TheIdentifier String
UndefinedIdentifier

Instances

Eq TheIdentifier
Data TheIdentifier
Ord TheIdentifier
Show TheIdentifier
Typeable TheIdentifier

data DefinedMacroType Source

Constructors

TextualConventionDMT TextualConventionMacroType
SnmpObjectDMT SnmpObjectTypeMacroType

Instances

Eq DefinedMacroType
Data DefinedMacroType
Ord DefinedMacroType
Show DefinedMacroType
Typeable DefinedMacroType

data DefinedMacroName Source

Constructors

ObjectType
TextualConvention

Instances

Eq DefinedMacroName
Data DefinedMacroName
Ord DefinedMacroName
Show DefinedMacroName
Typeable DefinedMacroName

data SnmpAccess Source

Constructors

SnmpAccess TheIdentifier

Instances

Eq SnmpAccess
Data SnmpAccess
Ord SnmpAccess
Show SnmpAccess
Typeable SnmpAccess

data SnmpStatus Source

Constructors

SnmpStatus TheIdentifier

Instances

Eq SnmpStatus
Data SnmpStatus
Ord SnmpStatus
Show SnmpStatus
Typeable SnmpStatus

data SnmpDescr Source

Constructors

SnmpDescr StringConst
UndefinedSnmpDescr

Instances

Eq SnmpDescr
Data SnmpDescr
Ord SnmpDescr
Show SnmpDescr
Typeable SnmpDescr

data SnmpRefer Source

Constructors

SnmpRefer StringConst
UndefinedSnmpRefer

Instances

Eq SnmpRefer
Data SnmpRefer
Ord SnmpRefer
Show SnmpRefer
Typeable SnmpRefer

data SnmpIndex Source

Constructors

SnmpIndex [TypeOrValue]
UndefinedSnmpIndex

Instances

Eq SnmpIndex
Data SnmpIndex
Ord SnmpIndex
Show SnmpIndex
Typeable SnmpIndex

data TypeOrValue Source

Constructors

T TheType
V TheValue

Instances

Eq TypeOrValue
Data TypeOrValue
Ord TypeOrValue
Show TypeOrValue
Typeable TypeOrValue

data TextualConventionMacroType Source

Constructors

TextualConventionMacroType DisplayHint SnmpStatus SnmpDescr SnmpRefer TheType

Instances

Eq TextualConventionMacroType
Data TextualConventionMacroType
Ord TextualConventionMacroType
Show TextualConventionMacroType
Typeable TextualConventionMacroType

data DisplayHint Source

Constructors

DisplayHint StringConst
UndefinedDisplayHint

Instances

Eq DisplayHint
Data DisplayHint
Ord DisplayHint
Show DisplayHint
Typeable DisplayHint

IntegerT [NamedNumber]
BitString [NamedNumber]
Set [ElementType]
Sequence [ElementType]
SetOf SizeConstraint TheType
SequenceOf SizeConstraint TheType
Choice [ElementType]
Selection TheIdentifier TheType
Tagged Tag TagType TheType
Any TheIdentifier
Enumerated [NamedNumber]
OctetString
ObjectIdentifier
Real
Boolean
Null
External
Defined ModuleReference TypeReference

ValueRange
Fields range_from :: ValueRangeElement range_to :: ValueRangeElement
ContainedSubType TheType
PermittedAlphabet SubtypeSpec
SizeConstr SizeConstraint
SingleTypeConstraint SubtypeSpec
MultipleTypeConstaint TypeConstraints

Eq SubtypeValueSet
Data SubtypeValueSet
Ord SubtypeValueSet
Show SubtypeValueSet
Typeable SubtypeValueSet

BooleanValue Bool
NullValue
PlusInfinity
MinusInfinity
SignedNumber Integer
HexString StringConst
BinaryString StringConst
CharString StringConst
CompoundValue [ObjIdComponent]
UndefinedBuiltinValue

Eq BuiltinValue
Data BuiltinValue
Ord BuiltinValue
Show BuiltinValue
Typeable BuiltinValue

Eq SnmpObjectTypeMacroType
Data SnmpObjectTypeMacroType
Ord SnmpObjectTypeMacroType
Show SnmpObjectTypeMacroType
Typeable SnmpObjectTypeMacroType