Language.ASN1.Parser

Documentation

Constructors

Module
Fields module_id :: ModuleIdentifier module_oid :: Maybe OID default_tag_type :: Maybe TagDefault extensibility_implied :: Bool module_body :: Maybe ModuleBody

Instances

Eq Module
Data Module
Ord Module
Show Module
Typeable Module

data GlobalType Source

Constructors

GlobalT Type
GlobalDMT DefinedMacroType

Instances

Eq GlobalType
Data GlobalType
Ord GlobalType
Show GlobalType
Typeable GlobalType

data Type Source

Constructors

Type
Fields type_id :: BuiltinType subtype :: Maybe SubtypeSpec

Instances

Eq Type
Data Type
Ord Type
Show Type
Typeable Type

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 :: TheIdentifier number_value :: NumberOrDefinedValue

Instances

Eq NamedNumber
Data NamedNumber
Ord NamedNumber
Show NamedNumber
Typeable NamedNumber

type NumberOrDefinedValue = Either Integer DefinedValue Source

data ElementType Source

Constructors

NamedElementType
Fields element_name :: TypeName element_body :: Type element_presence :: Maybe ValueOptionality
ComponentsOf Type

Instances

Eq ElementType
Data ElementType
Ord ElementType
Show ElementType
Typeable ElementType

data ValueOptionality Source

Constructors

OptionalValue
DefaultValue Value

Instances

Eq ValueOptionality
Data ValueOptionality
Ord ValueOptionality
Show ValueOptionality
Typeable ValueOptionality

data NamedValue Source

Constructors

NamedValue
Fields value_name :: ValueName named_value :: Value

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

Constructors

ExplicitTags
ImplicitTags
AutomaticTags

Instances

Eq TagDefault
Data TagDefault
Ord TagDefault
Show TagDefault
Typeable TagDefault

data TagType Source

Constructors

Explicit
Implicit

Instances

Eq TagType
Data TagType
Ord TagType
Show TagType
Typeable TagType

data ModuleIdentifier Source

Constructors

ModuleIdentifier (Maybe ModuleReference) (Maybe AssignedIdentifier)

Instances

Eq ModuleIdentifier
Data ModuleIdentifier
Ord ModuleIdentifier
Show ModuleIdentifier
Typeable ModuleIdentifier

data ModuleReference Source

Constructors

ModuleReference String

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

Constructors

AssignedIdentifierOID OID
AssignedIdentifierDefinedValue DefinedValue

Instances

Eq AssignedIdentifier
Data AssignedIdentifier
Ord AssignedIdentifier
Show AssignedIdentifier
Typeable AssignedIdentifier

newtype 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 :: Type assigned_value_ref :: TheIdentifier assigned_value :: BuiltinValue
TypeAssignment
Fields type_ref :: TypeReference assigned_type :: Type
ObjectClassAssignment ObjectClassReference ObjectClass
ObjectAssignment ObjectReference DefinedObjectClass Object

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

data SetOrSeq Source

Constructors

SetT
SequenceT

Instances

Eq SetOrSeq
Data SetOrSeq
Ord SetOrSeq
Show SetOrSeq
Typeable SetOrSeq

data NamedType Source

Constructors

NamedType TheIdentifier Type

Instances

Eq NamedType
Data NamedType
Ord NamedType
Show NamedType
Typeable NamedType

data ExceptionIdentification Source

Constructors

ExceptionNumber Integer
ExceptionValue DefinedValue
ExceptionTypeAndValue Type Value

Instances

Eq ExceptionIdentification
Data ExceptionIdentification
Ord ExceptionIdentification
Show ExceptionIdentification
Typeable ExceptionIdentification

componentsType :: Parser Type 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

data ObjectClass Source

Constructors

ObjectClassDefn [FieldSpec]
DefinedObjectClassDefn DefinedObjectClass

Instances

Eq ObjectClass
Data ObjectClass
Ord ObjectClass
Show ObjectClass
Typeable ObjectClass

data TypeOptionality Source

Constructors

OptionalType
DefaultType Type

Instances

Eq TypeOptionality
Data TypeOptionality
Ord TypeOptionality
Show TypeOptionality
Typeable TypeOptionality

data ObjectOptionality Source

Constructors

OptionalObject
DefaultObject Object

Instances

Eq ObjectOptionality
Data ObjectOptionality
Ord ObjectOptionality
Show ObjectOptionality
Typeable ObjectOptionality

data ObjectSetOptionality Source

Constructors

OptionalObjectSet
DefaultObjectSet

Instances

Eq ObjectSetOptionality
Data ObjectSetOptionality
Ord ObjectSetOptionality
Show ObjectSetOptionality
Typeable ObjectSetOptionality

data ValueSetOptionality Source

Constructors

OptionalValueSet
DefaultValueSet

Instances

Eq ValueSetOptionality
Data ValueSetOptionality
Ord ValueSetOptionality
Show ValueSetOptionality
Typeable ValueSetOptionality

data DefinedObjectClass Source

Constructors

ExternalObjectClassReference ModuleReference ObjectClassReference
LocalObjectClassReference ObjectClassReference
TypeIdentifier
AbstractSyntax

Instances

Eq DefinedObjectClass
Data DefinedObjectClass
Ord DefinedObjectClass
Show DefinedObjectClass
Typeable DefinedObjectClass

data Object Source

Constructors

ObjectDefn [FieldSetting]

Instances

Eq Object
Data Object
Ord Object
Show Object
Typeable Object

data FieldSetting Source

Constructors

FieldSetting PrimitiveFieldName Setting

Instances

Eq FieldSetting
Data FieldSetting
Ord FieldSetting
Show FieldSetting
Typeable FieldSetting

data Setting Source

Constructors

TypeSetting Type
ValueSetting Value
ObjectSetting Object

Instances

Eq Setting
Data Setting
Ord Setting
Show Setting
Typeable Setting

data PrimitiveFieldName Source

Constructors

PrimTFR TypeFieldReference
PrimVFR ValueFieldReference
PrimOFR ObjectFieldReference

Instances

Eq PrimitiveFieldName
Data PrimitiveFieldName
Ord PrimitiveFieldName
Show PrimitiveFieldName
Typeable PrimitiveFieldName

type SubtypeSpec = [SubtypeValueSet]Source

constraint :: Parser SubtypeSpec Source

data ValueRangeElement Source

Constructors

MinValue
MaxValue
UndefinedValue
Value Value

Instances

Eq ValueRangeElement
Data ValueRangeElement
Ord ValueRangeElement
Show ValueRangeElement
Typeable ValueRangeElement

subtypeValueSet :: Parser SubtypeValueSet Source

sizeConstraint :: Parser SizeConstraint 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 Value Source

Constructors

BuiltinV BuiltinValue
DefinedV DefinedValue
UndefinedV

Instances

Eq Value
Data Value
Ord Value
Show Value
Typeable Value

data DefinedValue Source

Constructors

DefinedValue (Maybe ModuleReference) TheIdentifier

Instances

Eq DefinedValue
Data DefinedValue
Ord DefinedValue
Show DefinedValue
Typeable DefinedValue

type OID = [OIDComponent]Source

data TheIdentifier Source

Constructors

TheIdentifier String
UndefinedIdentifier

Instances

Eq TheIdentifier
Data TheIdentifier
Ord TheIdentifier
Show TheIdentifier
Typeable TheIdentifier

newtype TypeFieldReference Source

Constructors

TypeFieldReference String

Instances

Eq TypeFieldReference
Data TypeFieldReference
Ord TypeFieldReference
Show TypeFieldReference
Typeable TypeFieldReference

newtype ObjectClassReference Source

Constructors

ObjectClassReference String

Instances

Eq ObjectClassReference
Data ObjectClassReference
Ord ObjectClassReference
Show ObjectClassReference
Typeable ObjectClassReference

newtype ValueFieldReference Source

Constructors

ValueFieldReference String

Instances

Eq ValueFieldReference
Data ValueFieldReference
Ord ValueFieldReference
Show ValueFieldReference
Typeable ValueFieldReference

newtype ObjectFieldReference Source

Constructors

ObjectFieldReference String

Instances

Eq ObjectFieldReference
Data ObjectFieldReference
Ord ObjectFieldReference
Show ObjectFieldReference
Typeable ObjectFieldReference

newtype ObjectReference Source

Constructors

ObjectReference String

Instances

Eq ObjectReference
Data ObjectReference
Ord ObjectReference
Show ObjectReference
Typeable ObjectReference

newtype ObjectSetFieldReference Source

Constructors

ObjectSetFieldReference String

Instances

Eq ObjectSetFieldReference
Data ObjectSetFieldReference
Ord ObjectSetFieldReference
Show ObjectSetFieldReference
Typeable ObjectSetFieldReference

newtype ValueSetFieldReference Source

Constructors

ValueSetFieldReference String

Instances

Eq ValueSetFieldReference
Data ValueSetFieldReference
Ord ValueSetFieldReference
Show ValueSetFieldReference
Typeable ValueSetFieldReference

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 Type
V Value

Instances

Eq TypeOrValue
Data TypeOrValue
Ord TypeOrValue
Show TypeOrValue
Typeable TypeOrValue

data TextualConventionMacroType Source

Constructors

TextualConventionMacroType DisplayHint SnmpStatus SnmpDescr SnmpRefer Type

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 Type
SequenceOf SizeConstraint Type
Choice AlternativeTypeLists
Selection TheIdentifier Type
Tagged Tag (Maybe TagType) Type
Any TheIdentifier
Enumerated [NamedNumber]
OctetString
ObjectIdentifier
Real
Boolean
Null
External
Defined (Maybe ModuleReference) TypeReference
BMPString
GeneralString
GraphicString
IA5String
ISO646String
NumericString
PrintableString
TeletexString
T61String
UniversalString
UTF8String
VideotexString
VisibleString
CharacterString
GeneralizedTime
UTCTime

Eq BuiltinType
Data BuiltinType
Ord BuiltinType
Show BuiltinType
Typeable BuiltinType

Eq AlternativeTypeLists
Data AlternativeTypeLists
Ord AlternativeTypeLists
Show AlternativeTypeLists
Typeable AlternativeTypeLists

TypeField TypeFieldReference (Maybe TypeOptionality)
FixedTypeValueField ValueFieldReference Type Bool (Maybe ValueOptionality)
ObjectField ObjectFieldReference DefinedObjectClass (Maybe ObjectOptionality)
ObjectSetField ObjectSetFieldReference DefinedObjectClass (Maybe ObjectSetOptionality)
FixedTypeValueSetField ValueSetFieldReference Type (Maybe ValueSetOptionality)

Eq FieldSpec
Data FieldSpec
Ord FieldSpec
Show FieldSpec
Typeable FieldSpec

SimpleAlternativeTypeList [NamedType]
AlternativeTypeListWithExtension [NamedType] (Maybe ExceptionIdentification) (Maybe [NamedType])

ValueRange
Fields range_from :: ValueRangeElement range_to :: ValueRangeElement
ContainedSubType Type
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 OID
UndefinedBuiltinValue

Eq BuiltinValue
Data BuiltinValue
Ord BuiltinValue
Show BuiltinValue
Typeable BuiltinValue

ObjIdDefinedValue DefinedValue
ObjIdNumber Integer
ObjIdNamedNumber NamedNumber
ObjIdName TheIdentifier

Eq OIDComponent
Data OIDComponent
Ord OIDComponent
Show OIDComponent
Typeable OIDComponent

Eq SnmpObjectTypeMacroType
Data SnmpObjectTypeMacroType
Ord SnmpObjectTypeMacroType
Show SnmpObjectTypeMacroType
Typeable SnmpObjectTypeMacroType