Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
parseASN1FromFile :: String -> IO (Either ParseError [Module]) Source #
newtype TypeReference Source #
Instances
newtype Identifier Source #
Instances
newtype ValueReference Source #
Instances
data ModuleReference Source #
Instances
Instances
Eq BinString Source # | |
Data BinString Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BinString -> c BinString # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BinString # toConstr :: BinString -> Constr # dataTypeOf :: BinString -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BinString) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BinString) # gmapT :: (forall b. Data b => b -> b) -> BinString -> BinString # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BinString -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BinString -> r # gmapQ :: (forall d. Data d => d -> u) -> BinString -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BinString -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BinString -> m BinString # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BinString -> m BinString # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BinString -> m BinString # | |
Ord BinString Source # | |
Defined in Language.ASN1.Parser | |
Show BinString Source # | |
Instances
Eq CString Source # | |
Data CString Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CString -> c CString # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CString # toConstr :: CString -> Constr # dataTypeOf :: CString -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CString) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CString) # gmapT :: (forall b. Data b => b -> b) -> CString -> CString # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CString -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CString -> r # gmapQ :: (forall d. Data d => d -> u) -> CString -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CString -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CString -> m CString # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CString -> m CString # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CString -> m CString # | |
Ord CString Source # | |
Show CString Source # | |
Instances
Eq Module Source # | |
Data Module Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Module -> c Module # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Module # toConstr :: Module -> Constr # dataTypeOf :: Module -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Module) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Module) # gmapT :: (forall b. Data b => b -> b) -> Module -> Module # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Module -> r # gmapQ :: (forall d. Data d => d -> u) -> Module -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Module -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Module -> m Module # | |
Ord Module Source # | |
Show Module Source # | |
data ModuleIdentifier Source #
Instances
type DefinitiveOID = [DefinitiveOIDComponent] Source #
data DefinitiveOIDComponent Source #
DefinitiveOIDNumber Integer | |
DefinitiveOIDNamedNumber Identifier Integer | |
DefinitiveOIDName Identifier |
Instances
data TagDefault Source #
Instances
Instances
Eq Exports Source # | |
Data Exports Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exports -> c Exports # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exports # toConstr :: Exports -> Constr # dataTypeOf :: Exports -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exports) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exports) # gmapT :: (forall b. Data b => b -> b) -> Exports -> Exports # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exports -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exports -> r # gmapQ :: (forall d. Data d => d -> u) -> Exports -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Exports -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exports -> m Exports # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exports -> m Exports # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exports -> m Exports # | |
Ord Exports Source # | |
Show Exports Source # | |
Instances
Eq Imports Source # | |
Data Imports Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Imports -> c Imports # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Imports # toConstr :: Imports -> Constr # dataTypeOf :: Imports -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Imports) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Imports) # gmapT :: (forall b. Data b => b -> b) -> Imports -> Imports # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Imports -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Imports -> r # gmapQ :: (forall d. Data d => d -> u) -> Imports -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Imports -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Imports -> m Imports # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Imports -> m Imports # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Imports -> m Imports # | |
Ord Imports Source # | |
Show Imports Source # | |
data ModuleBody Source #
Instances
moduleBody :: ParsecT [Char] () Identity (Maybe ModuleBody) Source #
newtype ExportedSymbol Source #
Instances
data SymbolsFromModule Source #
Instances
data GlobalModuleReference Source #
Instances
data AssignedIdentifier Source #
Instances
TypeReferenceSymbol TypeReference | |
ValueReferenceSymbol ValueReference | |
ObjectClassReferenceSymbol ObjectClassReference | |
ObjectReferenceSymbol ObjectReference | |
ObjectSetReferenceSymbol ObjectSetReference |
Instances
Eq Symbol Source # | |
Data Symbol Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Symbol -> c Symbol # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Symbol # toConstr :: Symbol -> Constr # dataTypeOf :: Symbol -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Symbol) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Symbol) # gmapT :: (forall b. Data b => b -> b) -> Symbol -> Symbol # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Symbol -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Symbol -> r # gmapQ :: (forall d. Data d => d -> u) -> Symbol -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Symbol -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Symbol -> m Symbol # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Symbol -> m Symbol # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Symbol -> m Symbol # | |
Ord Symbol Source # | |
Show Symbol Source # | |
assignmentList :: ParsecT [Char] () Identity [Assignment] Source #
data Assignment Source #
Instances
assignment :: ParsecT [Char] () Identity Assignment Source #
definedType :: ParsecT [Char] u Identity BuiltinType Source #
data DefinedValue Source #
Instances
definedValue :: ParsecT [Char] u Identity DefinedValue Source #
type ValueSet = ElementSets Source #
Type | |
|
Instances
Eq Type Source # | |
Data Type Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type # dataTypeOf :: Type -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) # gmapT :: (forall b. Data b => b -> b) -> Type -> Type # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r # gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type # | |
Ord Type Source # | |
Show Type Source # | |
data BuiltinType Source #
Instances
builtinType :: ParsecT [Char] () Identity BuiltinType Source #
referencedType :: ParsecT [Char] () Identity BuiltinType Source #
Instances
Eq NamedType Source # | |
Data NamedType Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedType -> c NamedType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedType # toConstr :: NamedType -> Constr # dataTypeOf :: NamedType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedType) # gmapT :: (forall b. Data b => b -> b) -> NamedType -> NamedType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedType -> r # gmapQ :: (forall d. Data d => d -> u) -> NamedType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedType -> m NamedType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedType -> m NamedType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedType -> m NamedType # | |
Ord NamedType Source # | |
Defined in Language.ASN1.Parser | |
Show NamedType Source # | |
Instances
Eq Value Source # | |
Data Value Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Value -> c Value # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Value # dataTypeOf :: Value -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Value) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Value) # gmapT :: (forall b. Data b => b -> b) -> Value -> Value # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Value -> r # gmapQ :: (forall d. Data d => d -> u) -> Value -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Value -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Value -> m Value # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Value -> m Value # | |
Ord Value Source # | |
Show Value Source # | |
data NamedValue Source #
Instances
namedValue :: ParsecT String () Identity NamedValue Source #
data NamedNumber Source #
Instances
namedNumber :: ParsecT [Char] u Identity NamedNumber Source #
data EnumerationItem Source #
Instances
sequenceType :: GenParser Char () BuiltinType Source #
data ComponentTypeLists Source #
Instances
data ExtensionAddition Source #
Instances
data ComponentType Source #
Instances
data ValueOptionality Source #
Instances
valueOptionality :: Maybe Type -> ParsecT [Char] () Identity (Maybe ValueOptionality) Source #
type ComponentValueList = [NamedValue] Source #
setOrSequenceOfValue :: ParsecT [Char] () Identity (Either [Value] ComponentValueList) Source #
choiceType :: GenParser Char () BuiltinType Source #
data AlternativeTypeLists Source #
SimpleAlternativeTypeList [NamedType] | |
AlternativeTypeListWithExtension [NamedType] (Maybe ExceptionIdentification) (Maybe [ExtensionAdditionAlternative]) |
Instances
extensionAdditionAlternatives :: ParsecT String () Identity (Maybe [ExtensionAdditionAlternative]) Source #
extensionAdditionAlternativesList :: ParsecT String () Identity [ExtensionAdditionAlternative] Source #
data ExtensionAdditionAlternative Source #
ExtensionAdditionAlternativesGroup (Maybe Integer) [NamedType] | |
ExtensionAdditionAlternativesType NamedType |
Instances
extensionAdditionGroupAlternatives :: ParsecT [Char] () Identity ExtensionAdditionAlternative Source #
selectionType :: ParsecT [Char] () Identity BuiltinType Source #
taggedType :: GenParser Char () BuiltinType Source #
Instances
Eq TagType Source # | |
Data TagType Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TagType -> c TagType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TagType # toConstr :: TagType -> Constr # dataTypeOf :: TagType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TagType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TagType) # gmapT :: (forall b. Data b => b -> b) -> TagType -> TagType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TagType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TagType -> r # gmapQ :: (forall d. Data d => d -> u) -> TagType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TagType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TagType -> m TagType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TagType -> m TagType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TagType -> m TagType # | |
Ord TagType Source # | |
Show TagType Source # | |
Instances
Eq Tag Source # | |
Data Tag Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Tag -> c Tag # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Tag # dataTypeOf :: Tag -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Tag) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Tag) # gmapT :: (forall b. Data b => b -> b) -> Tag -> Tag # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Tag -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Tag -> r # gmapQ :: (forall d. Data d => d -> u) -> Tag -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Tag -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Tag -> m Tag # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Tag -> m Tag # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Tag -> m Tag # | |
Ord Tag Source # | |
Show Tag Source # | |
data ClassNumber Source #
Instances
Instances
Eq Class Source # | |
Data Class Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Class -> c Class # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Class # dataTypeOf :: Class -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Class) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Class) # gmapT :: (forall b. Data b => b -> b) -> Class -> Class # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Class -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Class -> r # gmapQ :: (forall d. Data d => d -> u) -> Class -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Class -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Class -> m Class # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Class -> m Class # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Class -> m Class # | |
Ord Class Source # | |
Show Class Source # | |
type OID = [OIDComponent] Source #
data OIDComponent Source #
ObjIdDefinedValue DefinedValue | |
ObjIdNumber Integer | |
ObjIdNamedNumber NamedNumber | |
ObjIdName Identifier |
Instances
oidComponent :: ParsecT [Char] u Identity OIDComponent Source #
data RelativeOIDComponent Source #
Instances
Tuple | |
| |
Quadruple Integer Integer Integer Integer | |
CharsDefinedValue DefinedValue | |
CharsCString CString |
Instances
Eq CharsDefn Source # | |
Data CharsDefn Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CharsDefn -> c CharsDefn # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CharsDefn # toConstr :: CharsDefn -> Constr # dataTypeOf :: CharsDefn -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CharsDefn) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CharsDefn) # gmapT :: (forall b. Data b => b -> b) -> CharsDefn -> CharsDefn # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CharsDefn -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CharsDefn -> r # gmapQ :: (forall d. Data d => d -> u) -> CharsDefn -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> CharsDefn -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> CharsDefn -> m CharsDefn # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CharsDefn -> m CharsDefn # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CharsDefn -> m CharsDefn # | |
Ord CharsDefn Source # | |
Defined in Language.ASN1.Parser | |
Show CharsDefn Source # | |
data Constraint Source #
Instances
constraint :: Maybe Type -> ParsecT [Char] () Identity Constraint Source #
onlySubtypeConstraint :: Maybe Type -> ParsecT String () Identity Constraint Source #
constraintSpec :: Maybe Type -> ParsecT String () Identity ElementSets Source #
subtypeConstraint :: Maybe Type -> ParsecT String () Identity ElementSets Source #
data ElementSets Source #
Instances
elementSetSpecs :: Maybe Type -> ParsecT String () Identity ElementSets Source #
data ElementSet Source #
Instances
elementSetSpec :: Maybe Type -> ParsecT String () Identity ElementSet Source #
intersections :: Maybe Type -> ParsecT String () Identity [Intersection] Source #
data Intersection Source #
Instances
type Exclusions = Elements Source #
exclusions :: Maybe Type -> ParsecT String () Identity Exclusions Source #
Instances
Eq Elements Source # | |
Data Elements Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Elements -> c Elements # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Elements # toConstr :: Elements -> Constr # dataTypeOf :: Elements -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Elements) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Elements) # gmapT :: (forall b. Data b => b -> b) -> Elements -> Elements # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Elements -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Elements -> r # gmapQ :: (forall d. Data d => d -> u) -> Elements -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Elements -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Elements -> m Elements # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Elements -> m Elements # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Elements -> m Elements # | |
Ord Elements Source # | |
Defined in Language.ASN1.Parser | |
Show Elements Source # | |
data SubtypeElements Source #
Instances
subtypeElements :: Maybe Type -> ParsecT [Char] () Identity SubtypeElements Source #
data ValueRangeEndpoint Source #
Instances
data ValueRangeEndValue Source #
Instances
valueRange :: Maybe Type -> GenParser Char () SubtypeElements Source #
lowerEndpoint :: Maybe Type -> ParsecT String () Identity ValueRangeEndpoint Source #
upperEndpoint :: Maybe Type -> ParsecT String () Identity ValueRangeEndpoint Source #
lowerEndValue :: Maybe Type -> ParsecT String () Identity ValueRangeEndValue Source #
upperEndValue :: Maybe Type -> ParsecT String () Identity ValueRangeEndValue Source #
permittedAlphabet :: Maybe Type -> ParsecT [Char] () Identity SubtypeElements Source #
innerTypeConstraints :: Maybe Type -> ParsecT [Char] () Identity SubtypeElements Source #
type TypeConstraints = [NamedConstraint] Source #
typeConstraints :: Maybe Type -> ParsecT String () Identity TypeConstraints Source #
data NamedConstraint Source #
Instances
namedConstraint :: Maybe Type -> ParsecT String () Identity NamedConstraint Source #
data ComponentConstraint Source #
Instances
data PresenceConstraint Source #
Instances
data ExceptionIdentification Source #
Instances
newtype ObjectClassReference Source #
Instances
newtype ObjectReference Source #
Instances
newtype ObjectSetReference Source #
Instances
newtype TypeFieldReference Source #
Instances
newtype ValueFieldReference Source #
Instances
newtype ValueSetFieldReference Source #
Instances
newtype ObjectFieldReference Source #
Instances
newtype ObjectSetFieldReference Source #
Instances
data DefinedObjectClass Source #
ExternalObjectClassReference ModuleReference ObjectClassReference | |
LocalObjectClassReference ObjectClassReference | |
TypeIdentifier | |
AbstractSyntax |
Instances
data DefinedObject Source #
Instances
definedObject :: ParsecT [Char] u Identity DefinedObject Source #
data DefinedObjectSet Source #
ExternalObjectSetReference ModuleReference ObjectSetReference | |
LocalObjectSetReference ObjectSetReference |
Instances
data ObjectClass Source #
Instances
objectClass :: ParsecT [Char] () Identity ObjectClass Source #
Instances
Eq Field Source # | |
Data Field Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Field -> c Field # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Field # dataTypeOf :: Field -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Field) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Field) # gmapT :: (forall b. Data b => b -> b) -> Field -> Field # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Field -> r # gmapQ :: (forall d. Data d => d -> u) -> Field -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Field -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Field -> m Field # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Field -> m Field # | |
Ord Field Source # | |
Show Field Source # | |
data TypeOptionality Source #
Instances
data ObjectOptionality Source #
Instances
data ObjectSetOptionality Source #
Instances
data ValueSetOptionality Source #
Instances
valueSetOptionality :: Maybe Type -> ParsecT String () Identity (Maybe ValueSetOptionality) Source #
data PrimitiveFieldName Source #
PrimTFR TypeFieldReference | |
PrimVFR ValueFieldReference | |
PrimOFR ObjectFieldReference | |
PrimVSFR ValueSetFieldReference | |
PrimOSFR ObjectSetFieldReference |
Instances
type FieldName = [PrimitiveFieldName] Source #
ObjectDefn [FieldSetting] | |
ObjDefinedObject DefinedObject | |
ObjectFromObject ReferencedObjects FieldName |
Instances
Eq Object Source # | |
Data Object Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Object -> c Object # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Object # toConstr :: Object -> Constr # dataTypeOf :: Object -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Object) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Object) # gmapT :: (forall b. Data b => b -> b) -> Object -> Object # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r # gmapQ :: (forall d. Data d => d -> u) -> Object -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Object -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Object -> m Object # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object # | |
Ord Object Source # | |
Show Object Source # | |
data FieldSetting Source #
Instances
fieldSetting :: ParsecT [Char] () Identity FieldSetting Source #
ObjectSet ElementSet | |
ObjectSetExtendableAtEnd ElementSet | |
EmptyExtendableObjectSet | |
ObjectSetExtendableAtStart ElementSet | |
ObjectSetExtendableInTheMiddle ElementSet ElementSet |
Instances
Eq ObjectSet Source # | |
Data ObjectSet Source # | |
Defined in Language.ASN1.Parser gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectSet -> c ObjectSet # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectSet # toConstr :: ObjectSet -> Constr # dataTypeOf :: ObjectSet -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectSet) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectSet) # gmapT :: (forall b. Data b => b -> b) -> ObjectSet -> ObjectSet # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSet -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSet -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectSet -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectSet -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectSet -> m ObjectSet # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSet -> m ObjectSet # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSet -> m ObjectSet # | |
Ord ObjectSet Source # | |
Defined in Language.ASN1.Parser | |
Show ObjectSet Source # | |
data ObjectSetElements Source #
ObjectElement Object | |
DefinedObjectSetElement DefinedObjectSet | |
ObjectSetFromObjectsElement ReferencedObjects FieldName |
Instances
typeFromObject :: ParsecT [Char] u Identity BuiltinType Source #
data ReferencedObjects Source #