Language.ASN1.Parser

Documentation

parseASN1FromFileOrDie :: String -> IO [Module]Source

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

Constructors

Instances

Eq TypeReference
Data TypeReference
Ord TypeReference
Show TypeReference
Typeable TypeReference

newtype Identifier Source

Constructors

Identifier String

Instances

Eq Identifier
Data Identifier
Ord Identifier
Show Identifier
Typeable Identifier

newtype ValueReference Source

Constructors

ValueReference String

Instances

Eq ValueReference
Data ValueReference
Ord ValueReference
Show ValueReference
Typeable ValueReference

data ModuleReference Source

Constructors

ModuleReference String

Instances

Eq ModuleReference
Data ModuleReference
Ord ModuleReference
Show ModuleReference
Typeable ModuleReference

type BString = BinString Source

type HString = BinString Source

data BinString Source

Constructors

BinString Char String

Instances

Eq BinString
Data BinString
Ord BinString
Show BinString
Typeable BinString

newtype CString Source

Constructors

CString String

Instances

Eq CString
Data CString
Ord CString
Show CString
Typeable CString

data Module Source

Constructors

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

Instances

Eq Module
Data Module
Ord Module
Show Module
Typeable Module

data ModuleIdentifier Source

Constructors

ModuleIdentifier ModuleReference (Maybe DefinitiveOID)

Instances

Eq ModuleIdentifier
Data ModuleIdentifier
Ord ModuleIdentifier
Show ModuleIdentifier
Typeable ModuleIdentifier

type DefinitiveOID = [DefinitiveOIDComponent]Source

data DefinitiveOIDComponent Source

Constructors

DefinitiveOIDNumber Integer
DefinitiveOIDNamedNumber Identifier Integer
DefinitiveOIDName Identifier

Instances

Eq DefinitiveOIDComponent
Data DefinitiveOIDComponent
Ord DefinitiveOIDComponent
Show DefinitiveOIDComponent
Typeable DefinitiveOIDComponent

data TagDefault Source

Constructors

ExplicitTags
ImplicitTags
AutomaticTags

Instances

Eq TagDefault
Data TagDefault
Ord TagDefault
Show TagDefault
Typeable TagDefault

data Exports Source

Constructors

ExportsAll
Exports [ExportedSymbol]

Instances

Eq Exports
Data Exports
Ord Exports
Show Exports
Typeable Exports

data Imports Source

Constructors

ImportsNone
Imports [SymbolsFromModule]

Instances

Eq Imports
Data Imports
Ord Imports
Show Imports
Typeable Imports

data ModuleBody Source

Constructors

ModuleBody
Fields module_exports :: Exports module_imports :: Imports module_assignments :: [Assignment]

Instances

Eq ModuleBody
Data ModuleBody
Ord ModuleBody
Show ModuleBody
Typeable ModuleBody

newtype ExportedSymbol Source

Constructors

ExportedSymbol Symbol

Instances

Eq ExportedSymbol
Data ExportedSymbol
Ord ExportedSymbol
Show ExportedSymbol
Typeable ExportedSymbol

data SymbolsFromModule Source

Constructors

SymbolsFromModule [Symbol] GlobalModuleReference

Instances

Eq SymbolsFromModule
Data SymbolsFromModule
Ord SymbolsFromModule
Show SymbolsFromModule
Typeable SymbolsFromModule

data GlobalModuleReference Source

Constructors

GlobalModuleReference ModuleReference (Maybe AssignedIdentifier)

Instances

Eq GlobalModuleReference
Data GlobalModuleReference
Ord GlobalModuleReference
Show GlobalModuleReference
Typeable GlobalModuleReference

data AssignedIdentifier Source

Constructors

AssignedIdentifierOID OID
AssignedIdentifierDefinedValue DefinedValue

Instances

Eq AssignedIdentifier
Data AssignedIdentifier
Ord AssignedIdentifier
Show AssignedIdentifier
Typeable AssignedIdentifier

data DefinedValue Source

Constructors

ExternalValueReference ModuleReference ValueReference
LocalValueReference ValueReference

Instances

Eq DefinedValue
Data DefinedValue
Ord DefinedValue
Show DefinedValue
Typeable DefinedValue

type ValueSet = ElementSets Source

data Type Source

Constructors

Type
Fields type_id :: BuiltinType subtype :: Maybe Constraint

Instances

Eq Type
Data Type
Ord Type
Show Type
Typeable Type

data BuiltinType Source

Constructors

BitString [NamedNumber]
Boolean
CharacterString
BMPString
GeneralString
GraphicString
IA5String
ISO646String
NumericString
PrintableString
TeletexString
T61String
UniversalString
UTF8String
VideotexString
VisibleString
Choice AlternativeTypeLists
EmbeddedPDV
SimpleEnumeration [EnumerationItem]
EnumerationWithException [EnumerationItem] (Maybe ExceptionIdentification)
EnumerationWithExceptionAndAddition [EnumerationItem] (Maybe ExceptionIdentification) [EnumerationItem]
External
InstanceOf DefinedObjectClass
TheInteger [NamedNumber]
Null
ObjectClassField DefinedObjectClass FieldName
ObjectIdentifier
OctetString
Real
RelativeOID
Sequence ComponentTypeLists
SequenceOf (Maybe Constraint) (Either Type NamedType)
Set ComponentTypeLists
SetOf (Maybe Constraint) (Either Type NamedType)
Tagged Tag (Maybe TagType) Type
LocalTypeReference TypeReference
ExternalTypeReference ModuleReference TypeReference
GeneralizedTime
UTCTime
ObjectDescriptor
Selection Identifier Type
TypeFromObject ReferencedObjects FieldName
ValueSetFromObjects ReferencedObjects FieldName
Any (Maybe Identifier)

Instances

Eq BuiltinType
Data BuiltinType
Ord BuiltinType
Show BuiltinType
Typeable BuiltinType

data NamedType Source

Constructors

NamedType Identifier Type

Instances

Eq NamedType
Data NamedType
Ord NamedType
Show NamedType
Typeable NamedType

data Value Source

Constructors

HexString BinString
BinaryString BinString
Containing Value
IdentifierListBitString [Identifier]
IdentifiedNumber Identifier
BooleanValue Bool
RestrictedCharacterStringValue [CharsDefn]
UnrestrictedCharacterStringValue ComponentValueList
ChoiceValue Identifier Value
EmbeddedPDVValue ComponentValueList
EnumeratedValue Identifier
ExternalValue ComponentValueList
InstanceOfValue ComponentValueList
SignedNumber Integer
NullValue
OID [OIDComponent]
RealValue Double
SequenceRealValue ComponentValueList
PlusInfinity
MinusInfinity
RelativeOIDValue [RelativeOIDComponent]
SequenceValue ComponentValueList
SetValue ComponentValueList
SequenceOfValue (Either [Value] ComponentValueList)
SetOfValue (Either [Value] ComponentValueList)
DefinedV DefinedValue
GeneralizedTimeValue CString
UTCTimeValue CString
ObjectDescriptorValue CString
ValueFromObject ReferencedObjects FieldName
OpenTypeFieldValue Type Value
FixedTypeFieldValue Value
SomeNumber Double
SomeNamedValueList ComponentValueList
SomeValueList [Value]
SomeIdentifiedValue Identifier
SomeOIDLikeValue OID

Instances

Eq Value
Data Value
Ord Value
Show Value
Typeable Value

data NamedValue Source

Constructors

NamedValue Identifier Value

Instances

Eq NamedValue
Data NamedValue
Ord NamedValue
Show NamedValue
Typeable NamedValue

data NamedNumber Source

Constructors

NamedNumber Identifier Integer
NamedDefinedValue Identifier DefinedValue

Instances

Eq NamedNumber
Data NamedNumber
Ord NamedNumber
Show NamedNumber
Typeable NamedNumber

data EnumerationItem Source

Constructors

EnumerationItemNumber NamedNumber
EnumerationItemIdentifier Identifier

Instances

Eq EnumerationItem
Data EnumerationItem
Ord EnumerationItem
Show EnumerationItem
Typeable EnumerationItem

data ExtensionAddition Source

Constructors

ExtensionAdditionGroup (Maybe Integer) [ComponentType]
ExtensionAdditionType ComponentType

Instances

Eq ExtensionAddition
Data ExtensionAddition
Ord ExtensionAddition
Show ExtensionAddition
Typeable ExtensionAddition

data ComponentType Source

Constructors

NamedTypeComponent
Fields element_type :: NamedType element_presence :: Maybe ValueOptionality
ComponentsOf Type

Instances

Eq ComponentType
Data ComponentType
Ord ComponentType
Show ComponentType
Typeable ComponentType

data ValueOptionality Source

Constructors

OptionalValue
DefaultValue Value

Instances

Eq ValueOptionality
Data ValueOptionality
Ord ValueOptionality
Show ValueOptionality
Typeable ValueOptionality

type ComponentValueList = [NamedValue]Source

data ExtensionAdditionAlternative Source

Constructors

ExtensionAdditionAlternativesGroup (Maybe Integer) [NamedType]
ExtensionAdditionAlternativesType NamedType

Instances

Eq ExtensionAdditionAlternative
Data ExtensionAdditionAlternative
Ord ExtensionAdditionAlternative
Show ExtensionAdditionAlternative
Typeable ExtensionAdditionAlternative

data TagType Source

Constructors

Explicit
Implicit

Instances

Eq TagType
Data TagType
Ord TagType
Show TagType
Typeable TagType

data Tag Source

Constructors

Tag (Maybe Class) 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 Class Source

Constructors

Universal
Application
Private

Instances

Eq Class
Data Class
Ord Class
Show Class
Typeable Class

type OID = [OIDComponent]Source

data RelativeOIDComponent Source

Constructors

RelativeOIDNumber Integer
RelativeOIDNamedNumber NamedNumber
RelativeOIDDefinedValue DefinedValue

Instances

Eq RelativeOIDComponent
Data RelativeOIDComponent
Ord RelativeOIDComponent
Show RelativeOIDComponent
Typeable RelativeOIDComponent

data CharsDefn Source

Constructors

Tuple
Fields table_column :: Integer table_row :: Integer
Quadruple Integer Integer Integer Integer
CharsDefinedValue DefinedValue
CharsCString CString

Instances

Eq CharsDefn
Data CharsDefn
Ord CharsDefn
Show CharsDefn
Typeable CharsDefn

data Constraint Source

Constructors

Constraint ElementSets (Maybe ExceptionIdentification)

Instances

Eq Constraint
Data Constraint
Ord Constraint
Show Constraint
Typeable Constraint

data ElementSets Source

Constructors

ClosedSet Bool ElementSet
ExtendableSet ElementSet
SetRange ElementSet ElementSet

Instances

Eq ElementSets
Data ElementSets
Ord ElementSets
Show ElementSets
Typeable ElementSets

data ElementSet Source

Constructors

AllExcept Exclusions
Union [[Intersection]]
Singleton Elements

Instances

Eq ElementSet
Data ElementSet
Ord ElementSet
Show ElementSet
Typeable ElementSet

data Intersection Source

Constructors

Intersection Elements (Maybe Exclusions)

Instances

Eq Intersection
Data Intersection
Ord Intersection
Show Intersection
Typeable Intersection

type Exclusions = Elements Source

data Elements Source

Constructors

Subset ElementSet
Subtype SubtypeElements
ObjSet ObjectSetElements

Instances

Eq Elements
Data Elements
Ord Elements
Show Elements
Typeable Elements

data ValueRangeEndpoint Source

Constructors

Closed ValueRangeEndValue
Open ValueRangeEndValue

Instances

Eq ValueRangeEndpoint
Data ValueRangeEndpoint
Ord ValueRangeEndpoint
Show ValueRangeEndpoint
Typeable ValueRangeEndpoint

data ValueRangeEndValue Source

Constructors

MinValue
MaxValue
Value Value

Instances

Eq ValueRangeEndValue
Data ValueRangeEndValue
Ord ValueRangeEndValue
Show ValueRangeEndValue
Typeable ValueRangeEndValue

type TypeConstraints = [NamedConstraint]Source

data NamedConstraint Source

Constructors

NamedConstraint Identifier ComponentConstraint

Instances

Eq NamedConstraint
Data NamedConstraint
Ord NamedConstraint
Show NamedConstraint
Typeable NamedConstraint

data ComponentConstraint Source

Constructors

ComponentConstraint (Maybe Constraint) (Maybe PresenceConstraint)

Instances

Eq ComponentConstraint
Data ComponentConstraint
Ord ComponentConstraint
Show ComponentConstraint
Typeable ComponentConstraint

data PresenceConstraint Source

Constructors

Present
Absent
Optional

Instances

Eq PresenceConstraint
Data PresenceConstraint
Ord PresenceConstraint
Show PresenceConstraint
Typeable PresenceConstraint

data ExceptionIdentification Source

Constructors

ExceptionNumber Integer
ExceptionValue DefinedValue
ExceptionTypeAndValue Type Value

Instances

Eq ExceptionIdentification
Data ExceptionIdentification
Ord ExceptionIdentification
Show ExceptionIdentification
Typeable ExceptionIdentification

newtype ObjectClassReference Source

Constructors

ObjectClassReference String

Instances

Eq ObjectClassReference
Data ObjectClassReference
Ord ObjectClassReference
Show ObjectClassReference
Typeable ObjectClassReference

newtype ObjectReference Source

Constructors

ObjectReference String

Instances

Eq ObjectReference
Data ObjectReference
Ord ObjectReference
Show ObjectReference
Typeable ObjectReference

newtype ObjectSetReference Source

Constructors

ObjectSetReference String

Instances

Eq ObjectSetReference
Data ObjectSetReference
Ord ObjectSetReference
Show ObjectSetReference
Typeable ObjectSetReference

newtype TypeFieldReference Source

Constructors

TypeFieldReference String

Instances

Eq TypeFieldReference
Data TypeFieldReference
Ord TypeFieldReference
Show TypeFieldReference
Typeable TypeFieldReference

newtype ValueFieldReference Source

Constructors

ValueFieldReference String

Instances

Eq ValueFieldReference
Data ValueFieldReference
Ord ValueFieldReference
Show ValueFieldReference
Typeable ValueFieldReference

newtype ValueSetFieldReference Source

Constructors

ValueSetFieldReference String

Instances

Eq ValueSetFieldReference
Data ValueSetFieldReference
Ord ValueSetFieldReference
Show ValueSetFieldReference
Typeable ValueSetFieldReference

newtype ObjectFieldReference Source

Constructors

ObjectFieldReference String

Instances

Eq ObjectFieldReference
Data ObjectFieldReference
Ord ObjectFieldReference
Show ObjectFieldReference
Typeable ObjectFieldReference

newtype ObjectSetFieldReference Source

Constructors

ObjectSetFieldReference String

Instances

Eq ObjectSetFieldReference
Data ObjectSetFieldReference
Ord ObjectSetFieldReference
Show ObjectSetFieldReference
Typeable ObjectSetFieldReference

data DefinedObjectClass Source

Constructors

ExternalObjectClassReference ModuleReference ObjectClassReference
LocalObjectClassReference ObjectClassReference
TypeIdentifier
AbstractSyntax

Instances

Eq DefinedObjectClass
Data DefinedObjectClass
Ord DefinedObjectClass
Show DefinedObjectClass
Typeable DefinedObjectClass

data DefinedObject Source

Constructors

ExternalObjectReference ModuleReference ObjectReference
LocalObjectReference ObjectReference

Instances

Eq DefinedObject
Data DefinedObject
Ord DefinedObject
Show DefinedObject
Typeable DefinedObject

data DefinedObjectSet Source

Constructors

ExternalObjectSetReference ModuleReference ObjectSetReference
LocalObjectSetReference ObjectSetReference

Instances

Eq DefinedObjectSet
Data DefinedObjectSet
Ord DefinedObjectSet
Show DefinedObjectSet
Typeable DefinedObjectSet

data ObjectClass Source

Constructors

ObjectClassDefn [Field]
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 ObjectSet

Instances

Eq ObjectSetOptionality
Data ObjectSetOptionality
Ord ObjectSetOptionality
Show ObjectSetOptionality
Typeable ObjectSetOptionality

data ValueSetOptionality Source

Constructors

OptionalValueSet
DefaultValueSet ValueSet

Instances

Eq ValueSetOptionality
Data ValueSetOptionality
Ord ValueSetOptionality
Show ValueSetOptionality
Typeable ValueSetOptionality

type FieldName = [PrimitiveFieldName]Source

data Object Source

Constructors

ObjectDefn [FieldSetting]
ObjDefinedObject DefinedObject
ObjectFromObject ReferencedObjects FieldName

Instances

Eq Object
Data Object
Ord Object
Show Object
Typeable Object

data ObjectSetElements Source

Constructors

ObjectElement Object
DefinedObjectSetElement DefinedObjectSet
ObjectSetFromObjectsElement ReferencedObjects FieldName

Instances

Eq ObjectSetElements
Data ObjectSetElements
Ord ObjectSetElements
Show ObjectSetElements
Typeable ObjectSetElements

data ReferencedObjects Source

Constructors

ReferencedObject DefinedObject
ReferencedObjectSet DefinedObjectSet

Instances

Eq ReferencedObjects
Data ReferencedObjects
Ord ReferencedObjects
Show ReferencedObjects
Typeable ReferencedObjects

TypeReferenceSymbol TypeReference
ValueReferenceSymbol ValueReference
ObjectClassReferenceSymbol ObjectClassReference
ObjectReferenceSymbol ObjectReference
ObjectSetReferenceSymbol ObjectSetReference

ValueAssignment
Fields value_ref :: ValueReference value_ref_type :: Type assigned_value :: Value
TypeAssignment TypeReference Type
ValueSetTypeAssignment TypeReference Type ValueSet
ObjectClassAssignment ObjectClassReference ObjectClass
ObjectAssignment ObjectReference DefinedObjectClass Object
ObjectSetAssignment ObjectSetReference DefinedObjectClass ObjectSet

Eq Assignment
Data Assignment
Ord Assignment
Show Assignment
Typeable Assignment

ComponentTypeList [ComponentType]
Empty
JustException (Maybe ExceptionIdentification)
JustExtensions (Maybe ExceptionIdentification) (Maybe [ExtensionAddition])
ExtensionsAtStart (Maybe ExceptionIdentification) (Maybe [ExtensionAddition]) [ComponentType]
ExtensionsAtEnd [ComponentType] (Maybe ExceptionIdentification) (Maybe [ExtensionAddition])
ExtensionsInTheMiddle [ComponentType] (Maybe ExceptionIdentification) (Maybe [ExtensionAddition]) [ComponentType]

Eq ComponentTypeLists
Data ComponentTypeLists
Ord ComponentTypeLists
Show ComponentTypeLists
Typeable ComponentTypeLists

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

Eq AlternativeTypeLists
Data AlternativeTypeLists
Ord AlternativeTypeLists
Show AlternativeTypeLists
Typeable AlternativeTypeLists

ObjIdDefinedValue DefinedValue
ObjIdNumber Integer
ObjIdNamedNumber NamedNumber
ObjIdName Identifier

Eq OIDComponent
Data OIDComponent
Ord OIDComponent
Show OIDComponent
Typeable OIDComponent

SingleValue Value
ContainedSubtype Type
ValueRange ValueRangeEndpoint ValueRangeEndpoint
PermittedAlphabet Constraint
SizeConstraint Constraint
SingleTypeConstraint Constraint
MultipleTypeConstaints TypeConstraints
PatternConstraint CString

Eq SubtypeElements
Data SubtypeElements
Ord SubtypeElements
Show SubtypeElements
Typeable SubtypeElements

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

PrimTFR TypeFieldReference
PrimVFR ValueFieldReference
PrimOFR ObjectFieldReference
PrimVSFR ValueSetFieldReference
PrimOSFR ObjectSetFieldReference

Eq PrimitiveFieldName
Data PrimitiveFieldName
Ord PrimitiveFieldName
Show PrimitiveFieldName
Typeable PrimitiveFieldName

TypeFieldSetting TypeFieldReference Type
ValueFieldSetting ValueFieldReference Value
ValueSetFieldSetting ValueSetFieldReference ValueSet
ObjectFieldSetting ObjectFieldReference Object
ObjectSetFieldSetting ObjectSetFieldReference ObjectSet

Eq FieldSetting
Data FieldSetting
Ord FieldSetting
Show FieldSetting
Typeable FieldSetting

ObjectSet ElementSet
ObjectSetExtendableAtEnd ElementSet
EmptyExtendableObjectSet
ObjectSetExtendableAtStart ElementSet
ObjectSetExtendableInTheMiddle ElementSet ElementSet

Eq ObjectSet
Data ObjectSet
Ord ObjectSet
Show ObjectSet
Typeable ObjectSet