Safe Haskell	None
Language	Haskell2010

Language.ASN1.Parser

Documentation

parseASN1FromFileOrDie :: String -> IO [Module] Source #

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

parseASN1 :: ParsecT [Char] () Identity a -> [Char] -> Maybe a Source #

asn1Input :: ParsecT [Char] () Identity [Module] Source #

fixupComments :: ParsecT [Char] u Identity () Source #

fixup :: [Char] -> [Char] Source #

isNewline :: Char -> Bool Source #

newtype TypeReference Source #

Constructors

TypeReference String

Instances

Eq TypeReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: TypeReference -> TypeReference -> Bool # (/=) :: TypeReference -> TypeReference -> Bool #
Data TypeReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeReference -> c TypeReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeReference # toConstr :: TypeReference -> Constr # dataTypeOf :: TypeReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeReference) # gmapT :: (forall b. Data b => b -> b) -> TypeReference -> TypeReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeReference -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeReference -> m TypeReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeReference -> m TypeReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeReference -> m TypeReference #
Ord TypeReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: TypeReference -> TypeReference -> Ordering # (<) :: TypeReference -> TypeReference -> Bool # (<=) :: TypeReference -> TypeReference -> Bool # (>) :: TypeReference -> TypeReference -> Bool # (>=) :: TypeReference -> TypeReference -> Bool # max :: TypeReference -> TypeReference -> TypeReference # min :: TypeReference -> TypeReference -> TypeReference #
Show TypeReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> TypeReference -> ShowS # show :: TypeReference -> String # showList :: [TypeReference] -> ShowS #

_typereference :: ParsecT String u Identity String Source #

typereference :: ParsecT String u Identity TypeReference Source #

newtype Identifier Source #

Constructors

Identifier String

Instances

Eq Identifier Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Identifier -> Identifier -> Bool # (/=) :: Identifier -> Identifier -> Bool #
Data Identifier Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Identifier -> c Identifier # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Identifier # toConstr :: Identifier -> Constr # dataTypeOf :: Identifier -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Identifier) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Identifier) # gmapT :: (forall b. Data b => b -> b) -> Identifier -> Identifier # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Identifier -> r # gmapQ :: (forall d. Data d => d -> u) -> Identifier -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Identifier -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Identifier -> m Identifier #
Ord Identifier Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: Identifier -> Identifier -> Ordering # (<) :: Identifier -> Identifier -> Bool # (<=) :: Identifier -> Identifier -> Bool # (>) :: Identifier -> Identifier -> Bool # (>=) :: Identifier -> Identifier -> Bool # max :: Identifier -> Identifier -> Identifier # min :: Identifier -> Identifier -> Identifier #
Show Identifier Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Identifier -> ShowS # show :: Identifier -> String # showList :: [Identifier] -> ShowS #

_identifier :: ParsecT String u Identity String Source #

identifier :: ParsecT String u Identity Identifier Source #

newtype ValueReference Source #

Constructors

ValueReference String

Instances

Eq ValueReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ValueReference -> ValueReference -> Bool # (/=) :: ValueReference -> ValueReference -> Bool #
Data ValueReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueReference -> c ValueReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueReference # toConstr :: ValueReference -> Constr # dataTypeOf :: ValueReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueReference) # gmapT :: (forall b. Data b => b -> b) -> ValueReference -> ValueReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ValueReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueReference -> m ValueReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueReference -> m ValueReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueReference -> m ValueReference #
Ord ValueReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ValueReference -> ValueReference -> Ordering # (<) :: ValueReference -> ValueReference -> Bool # (<=) :: ValueReference -> ValueReference -> Bool # (>) :: ValueReference -> ValueReference -> Bool # (>=) :: ValueReference -> ValueReference -> Bool # max :: ValueReference -> ValueReference -> ValueReference # min :: ValueReference -> ValueReference -> ValueReference #
Show ValueReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ValueReference -> ShowS # show :: ValueReference -> String # showList :: [ValueReference] -> ShowS #

valuereference :: ParsecT String u Identity ValueReference Source #

_valuereference :: ParsecT String u Identity String Source #

data ModuleReference Source #

Constructors

ModuleReference String

Instances

Eq ModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ModuleReference -> ModuleReference -> Bool # (/=) :: ModuleReference -> ModuleReference -> Bool #
Data ModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleReference -> c ModuleReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleReference # toConstr :: ModuleReference -> Constr # dataTypeOf :: ModuleReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModuleReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleReference) # gmapT :: (forall b. Data b => b -> b) -> ModuleReference -> ModuleReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ModuleReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleReference -> m ModuleReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleReference -> m ModuleReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleReference -> m ModuleReference #
Ord ModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ModuleReference -> ModuleReference -> Ordering # (<) :: ModuleReference -> ModuleReference -> Bool # (<=) :: ModuleReference -> ModuleReference -> Bool # (>) :: ModuleReference -> ModuleReference -> Bool # (>=) :: ModuleReference -> ModuleReference -> Bool # max :: ModuleReference -> ModuleReference -> ModuleReference # min :: ModuleReference -> ModuleReference -> ModuleReference #
Show ModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ModuleReference -> ShowS # show :: ModuleReference -> String # showList :: [ModuleReference] -> ShowS #

modulereference :: ParsecT String u Identity ModuleReference Source #

number :: ParsecT String u Identity Integer Source #

realnumber :: ParsecT [Char] u Identity Double Source #

type BString = BinString Source #

bstring :: ParsecT String u Identity BinString Source #

type HString = BinString Source #

hstring :: ParsecT String u Identity BinString Source #

data BinString Source #

Constructors

BinString Char String

Instances

Eq BinString Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: BinString -> BinString -> Bool # (/=) :: BinString -> BinString -> Bool #
Data BinString Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: BinString -> BinString -> Ordering # (<) :: BinString -> BinString -> Bool # (<=) :: BinString -> BinString -> Bool # (>) :: BinString -> BinString -> Bool # (>=) :: BinString -> BinString -> Bool # max :: BinString -> BinString -> BinString # min :: BinString -> BinString -> BinString #
Show BinString Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> BinString -> ShowS # show :: BinString -> String # showList :: [BinString] -> ShowS #

binString :: [Char] -> Char -> ParsecT String u Identity BinString Source #

newtype CString Source #

Constructors

CString String

Instances

Eq CString Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: CString -> CString -> Bool # (/=) :: CString -> CString -> Bool #
Data CString Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: CString -> CString -> Ordering # (<) :: CString -> CString -> Bool # (<=) :: CString -> CString -> Bool # (>) :: CString -> CString -> Bool # (>=) :: CString -> CString -> Bool # max :: CString -> CString -> CString # min :: CString -> CString -> CString #
Show CString Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> CString -> ShowS # show :: CString -> String # showList :: [CString] -> ShowS #

cstring :: ParsecT String u Identity CString Source #

lcaseFirstIdent :: ParsecT String u Identity String Source #

ucaseFirstIdent :: ParsecT String u Identity String Source #

ucaseIdent :: ParsecT String u Identity String Source #

asn1Style :: GenLanguageDef String u Identity Source #

asn1 :: GenTokenParser String u Identity Source #

whiteSpace :: ParsecT String u Identity () Source #

symbol :: String -> ParsecT String u Identity String Source #

parsecIdent :: ParsecT String u Identity String Source #

reserved :: String -> ParsecT String u Identity () Source #

comma :: ParsecT String u Identity String Source #

commaSep :: ParsecT String u Identity a -> ParsecT String u Identity [a] Source #

commaSep1 :: ParsecT String u Identity a -> ParsecT String u Identity [a] Source #

braces :: ParsecT String u Identity a -> ParsecT String u Identity a Source #

squares :: ParsecT String u Identity a -> ParsecT String u Identity a Source #

parens :: ParsecT String u Identity a -> ParsecT String u Identity a Source #

semi :: ParsecT String u Identity String Source #

colon :: ParsecT String u Identity String Source #

natural :: ParsecT String u Identity Integer Source #

integer :: ParsecT String u Identity Integer Source #

dot :: ParsecT String u Identity String Source #

commaSepEndBy1 :: ParsecT String u Identity a -> ParsecT String u Identity [a] Source #

data Module Source #

Constructors

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

Instances

Eq Module Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Module -> Module -> Bool # (/=) :: Module -> Module -> Bool #
Data Module Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Module -> Module -> Ordering # (<) :: Module -> Module -> Bool # (<=) :: Module -> Module -> Bool # (>) :: Module -> Module -> Bool # (>=) :: Module -> Module -> Bool # max :: Module -> Module -> Module # min :: Module -> Module -> Module #
Show Module Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Module -> ShowS # show :: Module -> String # showList :: [Module] -> ShowS #

moduleDefinition :: ParsecT String () Identity Module Source #

data ModuleIdentifier Source #

Constructors

ModuleIdentifier ModuleReference (Maybe DefinitiveOID)

Instances

Eq ModuleIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ModuleIdentifier -> ModuleIdentifier -> Bool # (/=) :: ModuleIdentifier -> ModuleIdentifier -> Bool #
Data ModuleIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleIdentifier -> c ModuleIdentifier # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleIdentifier # toConstr :: ModuleIdentifier -> Constr # dataTypeOf :: ModuleIdentifier -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModuleIdentifier) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleIdentifier) # gmapT :: (forall b. Data b => b -> b) -> ModuleIdentifier -> ModuleIdentifier # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleIdentifier -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleIdentifier -> r # gmapQ :: (forall d. Data d => d -> u) -> ModuleIdentifier -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleIdentifier -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleIdentifier -> m ModuleIdentifier # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleIdentifier -> m ModuleIdentifier # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleIdentifier -> m ModuleIdentifier #
Ord ModuleIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ModuleIdentifier -> ModuleIdentifier -> Ordering # (<) :: ModuleIdentifier -> ModuleIdentifier -> Bool # (<=) :: ModuleIdentifier -> ModuleIdentifier -> Bool # (>) :: ModuleIdentifier -> ModuleIdentifier -> Bool # (>=) :: ModuleIdentifier -> ModuleIdentifier -> Bool # max :: ModuleIdentifier -> ModuleIdentifier -> ModuleIdentifier # min :: ModuleIdentifier -> ModuleIdentifier -> ModuleIdentifier #
Show ModuleIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ModuleIdentifier -> ShowS # show :: ModuleIdentifier -> String # showList :: [ModuleIdentifier] -> ShowS #

moduleIdentifier :: ParsecT String u Identity ModuleIdentifier Source #

type DefinitiveOID = [DefinitiveOIDComponent] Source #

definitiveIdentifier :: ParsecT String u Identity (Maybe [DefinitiveOIDComponent]) Source #

data DefinitiveOIDComponent Source #

Constructors

DefinitiveOIDNumber Integer
DefinitiveOIDNamedNumber Identifier Integer
DefinitiveOIDName Identifier

Instances

Eq DefinitiveOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> Bool # (/=) :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> Bool #
Data DefinitiveOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DefinitiveOIDComponent -> c DefinitiveOIDComponent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DefinitiveOIDComponent # toConstr :: DefinitiveOIDComponent -> Constr # dataTypeOf :: DefinitiveOIDComponent -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DefinitiveOIDComponent) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DefinitiveOIDComponent) # gmapT :: (forall b. Data b => b -> b) -> DefinitiveOIDComponent -> DefinitiveOIDComponent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DefinitiveOIDComponent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DefinitiveOIDComponent -> r # gmapQ :: (forall d. Data d => d -> u) -> DefinitiveOIDComponent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DefinitiveOIDComponent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DefinitiveOIDComponent -> m DefinitiveOIDComponent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinitiveOIDComponent -> m DefinitiveOIDComponent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinitiveOIDComponent -> m DefinitiveOIDComponent #
Ord DefinitiveOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> Ordering # (<) :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> Bool # (<=) :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> Bool # (>) :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> Bool # (>=) :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> Bool # max :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> DefinitiveOIDComponent # min :: DefinitiveOIDComponent -> DefinitiveOIDComponent -> DefinitiveOIDComponent #
Show DefinitiveOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> DefinitiveOIDComponent -> ShowS # show :: DefinitiveOIDComponent -> String # showList :: [DefinitiveOIDComponent] -> ShowS #

definitiveOIDComponent :: ParsecT String u Identity DefinitiveOIDComponent Source #

data TagDefault Source #

Constructors

ExplicitTags
ImplicitTags
AutomaticTags

Instances

Eq TagDefault Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: TagDefault -> TagDefault -> Bool # (/=) :: TagDefault -> TagDefault -> Bool #
Data TagDefault Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TagDefault -> c TagDefault # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TagDefault # toConstr :: TagDefault -> Constr # dataTypeOf :: TagDefault -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TagDefault) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TagDefault) # gmapT :: (forall b. Data b => b -> b) -> TagDefault -> TagDefault # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TagDefault -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TagDefault -> r # gmapQ :: (forall d. Data d => d -> u) -> TagDefault -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TagDefault -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TagDefault -> m TagDefault # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TagDefault -> m TagDefault # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TagDefault -> m TagDefault #
Ord TagDefault Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: TagDefault -> TagDefault -> Ordering # (<) :: TagDefault -> TagDefault -> Bool # (<=) :: TagDefault -> TagDefault -> Bool # (>) :: TagDefault -> TagDefault -> Bool # (>=) :: TagDefault -> TagDefault -> Bool # max :: TagDefault -> TagDefault -> TagDefault # min :: TagDefault -> TagDefault -> TagDefault #
Show TagDefault Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> TagDefault -> ShowS # show :: TagDefault -> String # showList :: [TagDefault] -> ShowS #

tagDefault :: ParsecT String u Identity TagDefault Source #

data Exports Source #

Constructors

ExportsAll
Exports [ExportedSymbol]

Instances

Eq Exports Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Exports -> Exports -> Bool # (/=) :: Exports -> Exports -> Bool #
Data Exports Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Exports -> Exports -> Ordering # (<) :: Exports -> Exports -> Bool # (<=) :: Exports -> Exports -> Bool # (>) :: Exports -> Exports -> Bool # (>=) :: Exports -> Exports -> Bool # max :: Exports -> Exports -> Exports # min :: Exports -> Exports -> Exports #
Show Exports Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Exports -> ShowS # show :: Exports -> String # showList :: [Exports] -> ShowS #

data Imports Source #

Constructors

ImportsNone
Imports [SymbolsFromModule]

Instances

Eq Imports Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Imports -> Imports -> Bool # (/=) :: Imports -> Imports -> Bool #
Data Imports Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Imports -> Imports -> Ordering # (<) :: Imports -> Imports -> Bool # (<=) :: Imports -> Imports -> Bool # (>) :: Imports -> Imports -> Bool # (>=) :: Imports -> Imports -> Bool # max :: Imports -> Imports -> Imports # min :: Imports -> Imports -> Imports #
Show Imports Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Imports -> ShowS # show :: Imports -> String # showList :: [Imports] -> ShowS #

data ModuleBody Source #

Constructors

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

Instances

Eq ModuleBody Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ModuleBody -> ModuleBody -> Bool # (/=) :: ModuleBody -> ModuleBody -> Bool #
Data ModuleBody Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModuleBody -> c ModuleBody # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModuleBody # toConstr :: ModuleBody -> Constr # dataTypeOf :: ModuleBody -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ModuleBody) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModuleBody) # gmapT :: (forall b. Data b => b -> b) -> ModuleBody -> ModuleBody # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModuleBody -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModuleBody -> r # gmapQ :: (forall d. Data d => d -> u) -> ModuleBody -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ModuleBody -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModuleBody -> m ModuleBody # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleBody -> m ModuleBody # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModuleBody -> m ModuleBody #
Ord ModuleBody Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ModuleBody -> ModuleBody -> Ordering # (<) :: ModuleBody -> ModuleBody -> Bool # (<=) :: ModuleBody -> ModuleBody -> Bool # (>) :: ModuleBody -> ModuleBody -> Bool # (>=) :: ModuleBody -> ModuleBody -> Bool # max :: ModuleBody -> ModuleBody -> ModuleBody # min :: ModuleBody -> ModuleBody -> ModuleBody #
Show ModuleBody Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ModuleBody -> ShowS # show :: ModuleBody -> String # showList :: [ModuleBody] -> ShowS #

moduleBody :: ParsecT [Char] () Identity (Maybe ModuleBody) Source #

newtype ExportedSymbol Source #

Constructors

ExportedSymbol Symbol

Instances

Eq ExportedSymbol Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ExportedSymbol -> ExportedSymbol -> Bool # (/=) :: ExportedSymbol -> ExportedSymbol -> Bool #
Data ExportedSymbol Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExportedSymbol -> c ExportedSymbol # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExportedSymbol # toConstr :: ExportedSymbol -> Constr # dataTypeOf :: ExportedSymbol -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExportedSymbol) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExportedSymbol) # gmapT :: (forall b. Data b => b -> b) -> ExportedSymbol -> ExportedSymbol # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExportedSymbol -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExportedSymbol -> r # gmapQ :: (forall d. Data d => d -> u) -> ExportedSymbol -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExportedSymbol -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExportedSymbol -> m ExportedSymbol # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExportedSymbol -> m ExportedSymbol # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExportedSymbol -> m ExportedSymbol #
Ord ExportedSymbol Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ExportedSymbol -> ExportedSymbol -> Ordering # (<) :: ExportedSymbol -> ExportedSymbol -> Bool # (<=) :: ExportedSymbol -> ExportedSymbol -> Bool # (>) :: ExportedSymbol -> ExportedSymbol -> Bool # (>=) :: ExportedSymbol -> ExportedSymbol -> Bool # max :: ExportedSymbol -> ExportedSymbol -> ExportedSymbol # min :: ExportedSymbol -> ExportedSymbol -> ExportedSymbol #
Show ExportedSymbol Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ExportedSymbol -> ShowS # show :: ExportedSymbol -> String # showList :: [ExportedSymbol] -> ShowS #

exports :: ParsecT [Char] u Identity Exports Source #

imports :: ParsecT String u Identity Imports Source #

data SymbolsFromModule Source #

Constructors

SymbolsFromModule [Symbol] GlobalModuleReference

Instances

Eq SymbolsFromModule Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: SymbolsFromModule -> SymbolsFromModule -> Bool # (/=) :: SymbolsFromModule -> SymbolsFromModule -> Bool #
Data SymbolsFromModule Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SymbolsFromModule -> c SymbolsFromModule # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SymbolsFromModule # toConstr :: SymbolsFromModule -> Constr # dataTypeOf :: SymbolsFromModule -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SymbolsFromModule) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SymbolsFromModule) # gmapT :: (forall b. Data b => b -> b) -> SymbolsFromModule -> SymbolsFromModule # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SymbolsFromModule -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SymbolsFromModule -> r # gmapQ :: (forall d. Data d => d -> u) -> SymbolsFromModule -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SymbolsFromModule -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SymbolsFromModule -> m SymbolsFromModule # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SymbolsFromModule -> m SymbolsFromModule # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SymbolsFromModule -> m SymbolsFromModule #
Ord SymbolsFromModule Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: SymbolsFromModule -> SymbolsFromModule -> Ordering # (<) :: SymbolsFromModule -> SymbolsFromModule -> Bool # (<=) :: SymbolsFromModule -> SymbolsFromModule -> Bool # (>) :: SymbolsFromModule -> SymbolsFromModule -> Bool # (>=) :: SymbolsFromModule -> SymbolsFromModule -> Bool # max :: SymbolsFromModule -> SymbolsFromModule -> SymbolsFromModule # min :: SymbolsFromModule -> SymbolsFromModule -> SymbolsFromModule #
Show SymbolsFromModule Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> SymbolsFromModule -> ShowS # show :: SymbolsFromModule -> String # showList :: [SymbolsFromModule] -> ShowS #

symbolsFromModule :: ParsecT String u Identity SymbolsFromModule Source #

data GlobalModuleReference Source #

Constructors

GlobalModuleReference ModuleReference (Maybe AssignedIdentifier)

Instances

Eq GlobalModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: GlobalModuleReference -> GlobalModuleReference -> Bool # (/=) :: GlobalModuleReference -> GlobalModuleReference -> Bool #
Data GlobalModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GlobalModuleReference -> c GlobalModuleReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GlobalModuleReference # toConstr :: GlobalModuleReference -> Constr # dataTypeOf :: GlobalModuleReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GlobalModuleReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GlobalModuleReference) # gmapT :: (forall b. Data b => b -> b) -> GlobalModuleReference -> GlobalModuleReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GlobalModuleReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GlobalModuleReference -> r # gmapQ :: (forall d. Data d => d -> u) -> GlobalModuleReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> GlobalModuleReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> GlobalModuleReference -> m GlobalModuleReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GlobalModuleReference -> m GlobalModuleReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GlobalModuleReference -> m GlobalModuleReference #
Ord GlobalModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: GlobalModuleReference -> GlobalModuleReference -> Ordering # (<) :: GlobalModuleReference -> GlobalModuleReference -> Bool # (<=) :: GlobalModuleReference -> GlobalModuleReference -> Bool # (>) :: GlobalModuleReference -> GlobalModuleReference -> Bool # (>=) :: GlobalModuleReference -> GlobalModuleReference -> Bool # max :: GlobalModuleReference -> GlobalModuleReference -> GlobalModuleReference # min :: GlobalModuleReference -> GlobalModuleReference -> GlobalModuleReference #
Show GlobalModuleReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> GlobalModuleReference -> ShowS # show :: GlobalModuleReference -> String # showList :: [GlobalModuleReference] -> ShowS #

globalModuleReference :: ParsecT String u Identity GlobalModuleReference Source #

data AssignedIdentifier Source #

Constructors

AssignedIdentifierOID OID
AssignedIdentifierDefinedValue DefinedValue

Instances

Eq AssignedIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: AssignedIdentifier -> AssignedIdentifier -> Bool # (/=) :: AssignedIdentifier -> AssignedIdentifier -> Bool #
Data AssignedIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AssignedIdentifier -> c AssignedIdentifier # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AssignedIdentifier # toConstr :: AssignedIdentifier -> Constr # dataTypeOf :: AssignedIdentifier -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AssignedIdentifier) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AssignedIdentifier) # gmapT :: (forall b. Data b => b -> b) -> AssignedIdentifier -> AssignedIdentifier # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AssignedIdentifier -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AssignedIdentifier -> r # gmapQ :: (forall d. Data d => d -> u) -> AssignedIdentifier -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AssignedIdentifier -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AssignedIdentifier -> m AssignedIdentifier # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignedIdentifier -> m AssignedIdentifier # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AssignedIdentifier -> m AssignedIdentifier #
Ord AssignedIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: AssignedIdentifier -> AssignedIdentifier -> Ordering # (<) :: AssignedIdentifier -> AssignedIdentifier -> Bool # (<=) :: AssignedIdentifier -> AssignedIdentifier -> Bool # (>) :: AssignedIdentifier -> AssignedIdentifier -> Bool # (>=) :: AssignedIdentifier -> AssignedIdentifier -> Bool # max :: AssignedIdentifier -> AssignedIdentifier -> AssignedIdentifier # min :: AssignedIdentifier -> AssignedIdentifier -> AssignedIdentifier #
Show AssignedIdentifier Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> AssignedIdentifier -> ShowS # show :: AssignedIdentifier -> String # showList :: [AssignedIdentifier] -> ShowS #

assignedIdentifier :: ParsecT [Char] u Identity (Maybe AssignedIdentifier) Source #

data Symbol Source #

Constructors

TypeReferenceSymbol TypeReference
ValueReferenceSymbol ValueReference
ObjectClassReferenceSymbol ObjectClassReference
ObjectReferenceSymbol ObjectReference
ObjectSetReferenceSymbol ObjectSetReference

Instances

Eq Symbol Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Symbol -> Symbol -> Bool # (/=) :: Symbol -> Symbol -> Bool #
Data Symbol Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Symbol -> Symbol -> Ordering # (<) :: Symbol -> Symbol -> Bool # (<=) :: Symbol -> Symbol -> Bool # (>) :: Symbol -> Symbol -> Bool # (>=) :: Symbol -> Symbol -> Bool # max :: Symbol -> Symbol -> Symbol # min :: Symbol -> Symbol -> Symbol #
Show Symbol Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Symbol -> ShowS # show :: Symbol -> String # showList :: [Symbol] -> ShowS #

theSymbol :: ParsecT [Char] u Identity Symbol Source #

assignmentList :: ParsecT [Char] () Identity [Assignment] Source #

data Assignment Source #

Instances

Eq Assignment Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Assignment -> Assignment -> Bool # (/=) :: Assignment -> Assignment -> Bool #
Data Assignment Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Assignment -> c Assignment # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Assignment # toConstr :: Assignment -> Constr # dataTypeOf :: Assignment -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Assignment) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Assignment) # gmapT :: (forall b. Data b => b -> b) -> Assignment -> Assignment # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Assignment -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Assignment -> r # gmapQ :: (forall d. Data d => d -> u) -> Assignment -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Assignment -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Assignment -> m Assignment # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Assignment -> m Assignment # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Assignment -> m Assignment #
Ord Assignment Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: Assignment -> Assignment -> Ordering # (<) :: Assignment -> Assignment -> Bool # (<=) :: Assignment -> Assignment -> Bool # (>) :: Assignment -> Assignment -> Bool # (>=) :: Assignment -> Assignment -> Bool # max :: Assignment -> Assignment -> Assignment # min :: Assignment -> Assignment -> Assignment #
Show Assignment Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Assignment -> ShowS # show :: Assignment -> String # showList :: [Assignment] -> ShowS #

assignment :: ParsecT [Char] () Identity Assignment Source #

definedType :: ParsecT [Char] u Identity BuiltinType Source #

simpleDefinedType :: ParsecT [Char] u Identity BuiltinType Source #

moduleReferenceAndDot :: ParsecT String u Identity ModuleReference Source #

data DefinedValue Source #

Constructors

ExternalValueReference ModuleReference ValueReference
LocalValueReference ValueReference

Instances

Eq DefinedValue Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: DefinedValue -> DefinedValue -> Bool # (/=) :: DefinedValue -> DefinedValue -> Bool #
Data DefinedValue Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DefinedValue -> c DefinedValue # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DefinedValue # toConstr :: DefinedValue -> Constr # dataTypeOf :: DefinedValue -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DefinedValue) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DefinedValue) # gmapT :: (forall b. Data b => b -> b) -> DefinedValue -> DefinedValue # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DefinedValue -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DefinedValue -> r # gmapQ :: (forall d. Data d => d -> u) -> DefinedValue -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DefinedValue -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DefinedValue -> m DefinedValue # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedValue -> m DefinedValue # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedValue -> m DefinedValue #
Ord DefinedValue Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: DefinedValue -> DefinedValue -> Ordering # (<) :: DefinedValue -> DefinedValue -> Bool # (<=) :: DefinedValue -> DefinedValue -> Bool # (>) :: DefinedValue -> DefinedValue -> Bool # (>=) :: DefinedValue -> DefinedValue -> Bool # max :: DefinedValue -> DefinedValue -> DefinedValue # min :: DefinedValue -> DefinedValue -> DefinedValue #
Show DefinedValue Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> DefinedValue -> ShowS # show :: DefinedValue -> String # showList :: [DefinedValue] -> ShowS #

definedValue :: ParsecT [Char] u Identity DefinedValue Source #

typeAssignment :: ParsecT String () Identity Assignment Source #

valueAssignment :: ParsecT String () Identity Assignment Source #

valueSetTypeAssignment :: ParsecT String () Identity Assignment Source #

type ValueSet = ElementSets Source #

valueSet :: Maybe Type -> ParsecT String () Identity ValueSet Source #

data Type Source #

Constructors

Type
Fields type_id :: BuiltinType subtype :: Maybe Constraint

Instances

Eq Type Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Data Type Source #
Instance details Defined in Language.ASN1.Parser Methods 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 # toConstr :: Type -> Constr # 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Type -> Type -> Ordering # (<) :: Type -> Type -> Bool # (<=) :: Type -> Type -> Bool # (>) :: Type -> Type -> Bool # (>=) :: Type -> Type -> Bool # max :: Type -> Type -> Type # min :: Type -> Type -> Type #
Show Type Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #

theType :: ParsecT [Char] () Identity Type Source #

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 Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: BuiltinType -> BuiltinType -> Bool # (/=) :: BuiltinType -> BuiltinType -> Bool #
Data BuiltinType Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BuiltinType -> c BuiltinType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BuiltinType # toConstr :: BuiltinType -> Constr # dataTypeOf :: BuiltinType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BuiltinType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BuiltinType) # gmapT :: (forall b. Data b => b -> b) -> BuiltinType -> BuiltinType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BuiltinType -> r # gmapQ :: (forall d. Data d => d -> u) -> BuiltinType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> BuiltinType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> BuiltinType -> m BuiltinType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinType -> m BuiltinType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BuiltinType -> m BuiltinType #
Ord BuiltinType Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: BuiltinType -> BuiltinType -> Ordering # (<) :: BuiltinType -> BuiltinType -> Bool # (<=) :: BuiltinType -> BuiltinType -> Bool # (>) :: BuiltinType -> BuiltinType -> Bool # (>=) :: BuiltinType -> BuiltinType -> Bool # max :: BuiltinType -> BuiltinType -> BuiltinType # min :: BuiltinType -> BuiltinType -> BuiltinType #
Show BuiltinType Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> BuiltinType -> ShowS # show :: BuiltinType -> String # showList :: [BuiltinType] -> ShowS #

builtinType :: ParsecT [Char] () Identity BuiltinType Source #

referencedType :: ParsecT [Char] () Identity BuiltinType Source #

data NamedType Source #

Constructors

NamedType Identifier Type

Instances

Eq NamedType Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: NamedType -> NamedType -> Bool # (/=) :: NamedType -> NamedType -> Bool #
Data NamedType Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: NamedType -> NamedType -> Ordering # (<) :: NamedType -> NamedType -> Bool # (<=) :: NamedType -> NamedType -> Bool # (>) :: NamedType -> NamedType -> Bool # (>=) :: NamedType -> NamedType -> Bool # max :: NamedType -> NamedType -> NamedType # min :: NamedType -> NamedType -> NamedType #
Show NamedType Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> NamedType -> ShowS # show :: NamedType -> String # showList :: [NamedType] -> ShowS #

namedType :: ParsecT [Char] () Identity NamedType Source #

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 Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #
Data Value Source #
Instance details Defined in Language.ASN1.Parser Methods 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 # toConstr :: Value -> Constr # 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Value -> Value -> Ordering # (<) :: Value -> Value -> Bool # (<=) :: Value -> Value -> Bool # (>) :: Value -> Value -> Bool # (>=) :: Value -> Value -> Bool # max :: Value -> Value -> Value # min :: Value -> Value -> Value #
Show Value Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #

maybeValueOfType :: Maybe Type -> ParsecT String () Identity Value Source #

valueOfType :: Type -> ParsecT String () Identity Value Source #

value :: ParsecT [Char] () Identity Value Source #

builtinValue :: ParsecT [Char] () Identity Value Source #

referencedValue :: ParsecT [Char] u Identity Value Source #

data NamedValue Source #

Constructors

NamedValue Identifier Value

Instances

Eq NamedValue Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: NamedValue -> NamedValue -> Bool # (/=) :: NamedValue -> NamedValue -> Bool #
Data NamedValue Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedValue -> c NamedValue # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedValue # toConstr :: NamedValue -> Constr # dataTypeOf :: NamedValue -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedValue) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedValue) # gmapT :: (forall b. Data b => b -> b) -> NamedValue -> NamedValue # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedValue -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedValue -> r # gmapQ :: (forall d. Data d => d -> u) -> NamedValue -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedValue -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedValue -> m NamedValue # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedValue -> m NamedValue # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedValue -> m NamedValue #
Ord NamedValue Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: NamedValue -> NamedValue -> Ordering # (<) :: NamedValue -> NamedValue -> Bool # (<=) :: NamedValue -> NamedValue -> Bool # (>) :: NamedValue -> NamedValue -> Bool # (>=) :: NamedValue -> NamedValue -> Bool # max :: NamedValue -> NamedValue -> NamedValue # min :: NamedValue -> NamedValue -> NamedValue #
Show NamedValue Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> NamedValue -> ShowS # show :: NamedValue -> String # showList :: [NamedValue] -> ShowS #

namedValue :: ParsecT String () Identity NamedValue Source #

booleanValue :: ParsecT String u Identity Value Source #

integerType :: ParsecT String u Identity BuiltinType Source #

namedNumberList :: ParsecT String u Identity [NamedNumber] Source #

data NamedNumber Source #

Constructors

NamedNumber Identifier Integer
NamedDefinedValue Identifier DefinedValue

Instances

Eq NamedNumber Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: NamedNumber -> NamedNumber -> Bool # (/=) :: NamedNumber -> NamedNumber -> Bool #
Data NamedNumber Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedNumber -> c NamedNumber # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedNumber # toConstr :: NamedNumber -> Constr # dataTypeOf :: NamedNumber -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedNumber) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedNumber) # gmapT :: (forall b. Data b => b -> b) -> NamedNumber -> NamedNumber # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedNumber -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedNumber -> r # gmapQ :: (forall d. Data d => d -> u) -> NamedNumber -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedNumber -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedNumber -> m NamedNumber # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedNumber -> m NamedNumber # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedNumber -> m NamedNumber #
Ord NamedNumber Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: NamedNumber -> NamedNumber -> Ordering # (<) :: NamedNumber -> NamedNumber -> Bool # (<=) :: NamedNumber -> NamedNumber -> Bool # (>) :: NamedNumber -> NamedNumber -> Bool # (>=) :: NamedNumber -> NamedNumber -> Bool # max :: NamedNumber -> NamedNumber -> NamedNumber # min :: NamedNumber -> NamedNumber -> NamedNumber #
Show NamedNumber Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> NamedNumber -> ShowS # show :: NamedNumber -> String # showList :: [NamedNumber] -> ShowS #

namedNumber :: ParsecT [Char] u Identity NamedNumber Source #

signedNumber :: ParsecT String u Identity Integer Source #

integerValue :: ParsecT String u Identity Value Source #

enumeratedType :: GenParser Char () BuiltinType Source #

enumerations :: ParsecT String () Identity BuiltinType Source #

enumeration :: ParsecT String u Identity [EnumerationItem] Source #

data EnumerationItem Source #

Constructors

EnumerationItemNumber NamedNumber
EnumerationItemIdentifier Identifier

Instances

Eq EnumerationItem Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: EnumerationItem -> EnumerationItem -> Bool # (/=) :: EnumerationItem -> EnumerationItem -> Bool #
Data EnumerationItem Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EnumerationItem -> c EnumerationItem # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EnumerationItem # toConstr :: EnumerationItem -> Constr # dataTypeOf :: EnumerationItem -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EnumerationItem) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EnumerationItem) # gmapT :: (forall b. Data b => b -> b) -> EnumerationItem -> EnumerationItem # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EnumerationItem -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EnumerationItem -> r # gmapQ :: (forall d. Data d => d -> u) -> EnumerationItem -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> EnumerationItem -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> EnumerationItem -> m EnumerationItem # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumerationItem -> m EnumerationItem # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EnumerationItem -> m EnumerationItem #
Ord EnumerationItem Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: EnumerationItem -> EnumerationItem -> Ordering # (<) :: EnumerationItem -> EnumerationItem -> Bool # (<=) :: EnumerationItem -> EnumerationItem -> Bool # (>) :: EnumerationItem -> EnumerationItem -> Bool # (>=) :: EnumerationItem -> EnumerationItem -> Bool # max :: EnumerationItem -> EnumerationItem -> EnumerationItem # min :: EnumerationItem -> EnumerationItem -> EnumerationItem #
Show EnumerationItem Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> EnumerationItem -> ShowS # show :: EnumerationItem -> String # showList :: [EnumerationItem] -> ShowS #

enumerationItem :: ParsecT [Char] u Identity EnumerationItem Source #

enumeratedValue :: ParsecT String u Identity Value Source #

realValue :: ParsecT String () Identity Value Source #

bitStringType :: ParsecT String u Identity BuiltinType Source #

bitStringValue :: ParsecT String () Identity Value Source #

octetStringValue :: ParsecT [Char] () Identity Value Source #

nullValue :: ParsecT String u Identity Value Source #

sequenceType :: GenParser Char () BuiltinType Source #

extensionAndException :: ParsecT String () Identity (Maybe ExceptionIdentification) Source #

optionalExtensionMarker :: ParsecT String u Identity () Source #

data ComponentTypeLists Source #

Instances

Eq ComponentTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ComponentTypeLists -> ComponentTypeLists -> Bool # (/=) :: ComponentTypeLists -> ComponentTypeLists -> Bool #
Data ComponentTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ComponentTypeLists -> c ComponentTypeLists # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ComponentTypeLists # toConstr :: ComponentTypeLists -> Constr # dataTypeOf :: ComponentTypeLists -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ComponentTypeLists) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ComponentTypeLists) # gmapT :: (forall b. Data b => b -> b) -> ComponentTypeLists -> ComponentTypeLists # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ComponentTypeLists -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ComponentTypeLists -> r # gmapQ :: (forall d. Data d => d -> u) -> ComponentTypeLists -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ComponentTypeLists -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ComponentTypeLists -> m ComponentTypeLists # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ComponentTypeLists -> m ComponentTypeLists # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ComponentTypeLists -> m ComponentTypeLists #
Ord ComponentTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ComponentTypeLists -> ComponentTypeLists -> Ordering # (<) :: ComponentTypeLists -> ComponentTypeLists -> Bool # (<=) :: ComponentTypeLists -> ComponentTypeLists -> Bool # (>) :: ComponentTypeLists -> ComponentTypeLists -> Bool # (>=) :: ComponentTypeLists -> ComponentTypeLists -> Bool # max :: ComponentTypeLists -> ComponentTypeLists -> ComponentTypeLists # min :: ComponentTypeLists -> ComponentTypeLists -> ComponentTypeLists #
Show ComponentTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ComponentTypeLists -> ShowS # show :: ComponentTypeLists -> String # showList :: [ComponentTypeLists] -> ShowS #

componentTypeLists :: ParsecT String () Identity ComponentTypeLists Source #

extensionEndMarker :: ParsecT String u Identity String Source #

extensionsAdditions :: ParsecT String () Identity (Maybe [ExtensionAddition]) Source #

extensionAdditionList :: ParsecT String () Identity [ExtensionAddition] Source #

data ExtensionAddition Source #

Constructors

ExtensionAdditionGroup (Maybe Integer) [ComponentType]
ExtensionAdditionType ComponentType

Instances

Eq ExtensionAddition Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ExtensionAddition -> ExtensionAddition -> Bool # (/=) :: ExtensionAddition -> ExtensionAddition -> Bool #
Data ExtensionAddition Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExtensionAddition -> c ExtensionAddition # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExtensionAddition # toConstr :: ExtensionAddition -> Constr # dataTypeOf :: ExtensionAddition -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExtensionAddition) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExtensionAddition) # gmapT :: (forall b. Data b => b -> b) -> ExtensionAddition -> ExtensionAddition # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExtensionAddition -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExtensionAddition -> r # gmapQ :: (forall d. Data d => d -> u) -> ExtensionAddition -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExtensionAddition -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExtensionAddition -> m ExtensionAddition # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtensionAddition -> m ExtensionAddition # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtensionAddition -> m ExtensionAddition #
Ord ExtensionAddition Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ExtensionAddition -> ExtensionAddition -> Ordering # (<) :: ExtensionAddition -> ExtensionAddition -> Bool # (<=) :: ExtensionAddition -> ExtensionAddition -> Bool # (>) :: ExtensionAddition -> ExtensionAddition -> Bool # (>=) :: ExtensionAddition -> ExtensionAddition -> Bool # max :: ExtensionAddition -> ExtensionAddition -> ExtensionAddition # min :: ExtensionAddition -> ExtensionAddition -> ExtensionAddition #
Show ExtensionAddition Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ExtensionAddition -> ShowS # show :: ExtensionAddition -> String # showList :: [ExtensionAddition] -> ShowS #

extensionAddition :: ParsecT String () Identity ExtensionAddition Source #

versionNumber :: ParsecT String u Identity (Maybe Integer) Source #

componentTypeList :: ParsecT String () Identity [ComponentType] Source #

data ComponentType Source #

Constructors

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

Instances

Eq ComponentType Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ComponentType -> ComponentType -> Bool # (/=) :: ComponentType -> ComponentType -> Bool #
Data ComponentType Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ComponentType -> c ComponentType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ComponentType # toConstr :: ComponentType -> Constr # dataTypeOf :: ComponentType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ComponentType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ComponentType) # gmapT :: (forall b. Data b => b -> b) -> ComponentType -> ComponentType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ComponentType -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ComponentType -> r # gmapQ :: (forall d. Data d => d -> u) -> ComponentType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ComponentType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ComponentType -> m ComponentType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ComponentType -> m ComponentType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ComponentType -> m ComponentType #
Ord ComponentType Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ComponentType -> ComponentType -> Ordering # (<) :: ComponentType -> ComponentType -> Bool # (<=) :: ComponentType -> ComponentType -> Bool # (>) :: ComponentType -> ComponentType -> Bool # (>=) :: ComponentType -> ComponentType -> Bool # max :: ComponentType -> ComponentType -> ComponentType # min :: ComponentType -> ComponentType -> ComponentType #
Show ComponentType Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ComponentType -> ShowS # show :: ComponentType -> String # showList :: [ComponentType] -> ShowS #

componentType :: ParsecT String () Identity ComponentType Source #

data ValueOptionality Source #

Constructors

OptionalValue
DefaultValue Value

Instances

Eq ValueOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ValueOptionality -> ValueOptionality -> Bool # (/=) :: ValueOptionality -> ValueOptionality -> Bool #
Data ValueOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueOptionality -> c ValueOptionality # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueOptionality # toConstr :: ValueOptionality -> Constr # dataTypeOf :: ValueOptionality -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueOptionality) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueOptionality) # gmapT :: (forall b. Data b => b -> b) -> ValueOptionality -> ValueOptionality # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueOptionality -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueOptionality -> r # gmapQ :: (forall d. Data d => d -> u) -> ValueOptionality -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueOptionality -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueOptionality -> m ValueOptionality # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueOptionality -> m ValueOptionality # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueOptionality -> m ValueOptionality #
Ord ValueOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ValueOptionality -> ValueOptionality -> Ordering # (<) :: ValueOptionality -> ValueOptionality -> Bool # (<=) :: ValueOptionality -> ValueOptionality -> Bool # (>) :: ValueOptionality -> ValueOptionality -> Bool # (>=) :: ValueOptionality -> ValueOptionality -> Bool # max :: ValueOptionality -> ValueOptionality -> ValueOptionality # min :: ValueOptionality -> ValueOptionality -> ValueOptionality #
Show ValueOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ValueOptionality -> ShowS # show :: ValueOptionality -> String # showList :: [ValueOptionality] -> ShowS #

valueOptionality :: Maybe Type -> ParsecT [Char] () Identity (Maybe ValueOptionality) Source #

type ComponentValueList = [NamedValue] Source #

componentValueList :: ParsecT [Char] () Identity ComponentValueList Source #

sequenceValue :: ParsecT [Char] () Identity Value Source #

setOrSequenceOfType :: GenParser Char () BuiltinType Source #

setOrSequenceOfValue :: ParsecT [Char] () Identity (Either [Value] ComponentValueList) Source #

sequenceOfValue :: ParsecT [Char] () Identity Value Source #

setOfValue :: ParsecT [Char] () Identity Value Source #

setType :: GenParser Char () BuiltinType Source #

setValue :: ParsecT [Char] () Identity Value Source #

choiceType :: GenParser Char () BuiltinType Source #

data AlternativeTypeLists Source #

Constructors

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

Instances

Eq AlternativeTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: AlternativeTypeLists -> AlternativeTypeLists -> Bool # (/=) :: AlternativeTypeLists -> AlternativeTypeLists -> Bool #
Data AlternativeTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> AlternativeTypeLists -> c AlternativeTypeLists # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c AlternativeTypeLists # toConstr :: AlternativeTypeLists -> Constr # dataTypeOf :: AlternativeTypeLists -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c AlternativeTypeLists) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c AlternativeTypeLists) # gmapT :: (forall b. Data b => b -> b) -> AlternativeTypeLists -> AlternativeTypeLists # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> AlternativeTypeLists -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> AlternativeTypeLists -> r # gmapQ :: (forall d. Data d => d -> u) -> AlternativeTypeLists -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> AlternativeTypeLists -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> AlternativeTypeLists -> m AlternativeTypeLists # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> AlternativeTypeLists -> m AlternativeTypeLists # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> AlternativeTypeLists -> m AlternativeTypeLists #
Ord AlternativeTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: AlternativeTypeLists -> AlternativeTypeLists -> Ordering # (<) :: AlternativeTypeLists -> AlternativeTypeLists -> Bool # (<=) :: AlternativeTypeLists -> AlternativeTypeLists -> Bool # (>) :: AlternativeTypeLists -> AlternativeTypeLists -> Bool # (>=) :: AlternativeTypeLists -> AlternativeTypeLists -> Bool # max :: AlternativeTypeLists -> AlternativeTypeLists -> AlternativeTypeLists # min :: AlternativeTypeLists -> AlternativeTypeLists -> AlternativeTypeLists #
Show AlternativeTypeLists Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> AlternativeTypeLists -> ShowS # show :: AlternativeTypeLists -> String # showList :: [AlternativeTypeLists] -> ShowS #

alternativeTypeLists :: ParsecT String () Identity AlternativeTypeLists Source #

extensionAdditionAlternatives :: ParsecT String () Identity (Maybe [ExtensionAdditionAlternative]) Source #

extensionAdditionAlternativesList :: ParsecT String () Identity [ExtensionAdditionAlternative] Source #

data ExtensionAdditionAlternative Source #

Constructors

ExtensionAdditionAlternativesGroup (Maybe Integer) [NamedType]
ExtensionAdditionAlternativesType NamedType

Instances

Eq ExtensionAdditionAlternative Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> Bool # (/=) :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> Bool #
Data ExtensionAdditionAlternative Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExtensionAdditionAlternative -> c ExtensionAdditionAlternative # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExtensionAdditionAlternative # toConstr :: ExtensionAdditionAlternative -> Constr # dataTypeOf :: ExtensionAdditionAlternative -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExtensionAdditionAlternative) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExtensionAdditionAlternative) # gmapT :: (forall b. Data b => b -> b) -> ExtensionAdditionAlternative -> ExtensionAdditionAlternative # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExtensionAdditionAlternative -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExtensionAdditionAlternative -> r # gmapQ :: (forall d. Data d => d -> u) -> ExtensionAdditionAlternative -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExtensionAdditionAlternative -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExtensionAdditionAlternative -> m ExtensionAdditionAlternative # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtensionAdditionAlternative -> m ExtensionAdditionAlternative # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtensionAdditionAlternative -> m ExtensionAdditionAlternative #
Ord ExtensionAdditionAlternative Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> Ordering # (<) :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> Bool # (<=) :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> Bool # (>) :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> Bool # (>=) :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> Bool # max :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> ExtensionAdditionAlternative # min :: ExtensionAdditionAlternative -> ExtensionAdditionAlternative -> ExtensionAdditionAlternative #
Show ExtensionAdditionAlternative Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ExtensionAdditionAlternative -> ShowS # show :: ExtensionAdditionAlternative -> String # showList :: [ExtensionAdditionAlternative] -> ShowS #

extensionAdditionAlternative :: ParsecT String () Identity ExtensionAdditionAlternative Source #

extensionAdditionGroupAlternatives :: ParsecT [Char] () Identity ExtensionAdditionAlternative Source #

alternativeTypeList :: ParsecT String () Identity [NamedType] Source #

choiceValue :: GenParser Char () Value Source #

selectionType :: ParsecT [Char] () Identity BuiltinType Source #

taggedType :: GenParser Char () BuiltinType Source #

data TagType Source #

Constructors

Explicit
Implicit

Instances

Eq TagType Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: TagType -> TagType -> Bool # (/=) :: TagType -> TagType -> Bool #
Data TagType Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: TagType -> TagType -> Ordering # (<) :: TagType -> TagType -> Bool # (<=) :: TagType -> TagType -> Bool # (>) :: TagType -> TagType -> Bool # (>=) :: TagType -> TagType -> Bool # max :: TagType -> TagType -> TagType # min :: TagType -> TagType -> TagType #
Show TagType Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> TagType -> ShowS # show :: TagType -> String # showList :: [TagType] -> ShowS #

tagType :: ParsecT String u Identity (Maybe TagType) Source #

data Tag Source #

Constructors

Tag (Maybe Class) ClassNumber

Instances

Eq Tag Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Tag -> Tag -> Bool # (/=) :: Tag -> Tag -> Bool #
Data Tag Source #
Instance details Defined in Language.ASN1.Parser Methods 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 # toConstr :: Tag -> Constr # 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Tag -> Tag -> Ordering # (<) :: Tag -> Tag -> Bool # (<=) :: Tag -> Tag -> Bool # (>) :: Tag -> Tag -> Bool # (>=) :: Tag -> Tag -> Bool # max :: Tag -> Tag -> Tag # min :: Tag -> Tag -> Tag #
Show Tag Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Tag -> ShowS # show :: Tag -> String # showList :: [Tag] -> ShowS #

tag :: ParsecT String u Identity Tag Source #

data ClassNumber Source #

Constructors

ClassNumber Integer
ClassNumberAsDefinedValue DefinedValue

Instances

Eq ClassNumber Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ClassNumber -> ClassNumber -> Bool # (/=) :: ClassNumber -> ClassNumber -> Bool #
Data ClassNumber Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassNumber -> c ClassNumber # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassNumber # toConstr :: ClassNumber -> Constr # dataTypeOf :: ClassNumber -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ClassNumber) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassNumber) # gmapT :: (forall b. Data b => b -> b) -> ClassNumber -> ClassNumber # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassNumber -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassNumber -> r # gmapQ :: (forall d. Data d => d -> u) -> ClassNumber -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassNumber -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassNumber -> m ClassNumber # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassNumber -> m ClassNumber # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassNumber -> m ClassNumber #
Ord ClassNumber Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ClassNumber -> ClassNumber -> Ordering # (<) :: ClassNumber -> ClassNumber -> Bool # (<=) :: ClassNumber -> ClassNumber -> Bool # (>) :: ClassNumber -> ClassNumber -> Bool # (>=) :: ClassNumber -> ClassNumber -> Bool # max :: ClassNumber -> ClassNumber -> ClassNumber # min :: ClassNumber -> ClassNumber -> ClassNumber #
Show ClassNumber Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ClassNumber -> ShowS # show :: ClassNumber -> String # showList :: [ClassNumber] -> ShowS #

classNumber :: ParsecT String u Identity ClassNumber Source #

data Class Source #

Constructors

Universal
Application
Private

Instances

Eq Class Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Class -> Class -> Bool # (/=) :: Class -> Class -> Bool #
Data Class Source #
Instance details Defined in Language.ASN1.Parser Methods 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 # toConstr :: Class -> Constr # 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Class -> Class -> Ordering # (<) :: Class -> Class -> Bool # (<=) :: Class -> Class -> Bool # (>) :: Class -> Class -> Bool # (>=) :: Class -> Class -> Bool # max :: Class -> Class -> Class # min :: Class -> Class -> Class #
Show Class Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Class -> ShowS # show :: Class -> String # showList :: [Class] -> ShowS #

theClass :: ParsecT String u Identity Class Source #

objectIdentifierValue :: ParsecT String u Identity Value Source #

type OID = [OIDComponent] Source #

oid :: ParsecT String u Identity [OIDComponent] Source #

data OIDComponent Source #

Constructors

ObjIdDefinedValue DefinedValue
ObjIdNumber Integer
ObjIdNamedNumber NamedNumber
ObjIdName Identifier

Instances

Eq OIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: OIDComponent -> OIDComponent -> Bool # (/=) :: OIDComponent -> OIDComponent -> Bool #
Data OIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> OIDComponent -> c OIDComponent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c OIDComponent # toConstr :: OIDComponent -> Constr # dataTypeOf :: OIDComponent -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c OIDComponent) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c OIDComponent) # gmapT :: (forall b. Data b => b -> b) -> OIDComponent -> OIDComponent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> OIDComponent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> OIDComponent -> r # gmapQ :: (forall d. Data d => d -> u) -> OIDComponent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> OIDComponent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> OIDComponent -> m OIDComponent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> OIDComponent -> m OIDComponent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> OIDComponent -> m OIDComponent #
Ord OIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: OIDComponent -> OIDComponent -> Ordering # (<) :: OIDComponent -> OIDComponent -> Bool # (<=) :: OIDComponent -> OIDComponent -> Bool # (>) :: OIDComponent -> OIDComponent -> Bool # (>=) :: OIDComponent -> OIDComponent -> Bool # max :: OIDComponent -> OIDComponent -> OIDComponent # min :: OIDComponent -> OIDComponent -> OIDComponent #
Show OIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> OIDComponent -> ShowS # show :: OIDComponent -> String # showList :: [OIDComponent] -> ShowS #

oidComponent :: ParsecT [Char] u Identity OIDComponent Source #

reservedOIDIdentifier :: ParsecT String u Identity String Source #

data RelativeOIDComponent Source #

Constructors

RelativeOIDNumber Integer
RelativeOIDNamedNumber NamedNumber
RelativeOIDDefinedValue DefinedValue

Instances

Eq RelativeOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: RelativeOIDComponent -> RelativeOIDComponent -> Bool # (/=) :: RelativeOIDComponent -> RelativeOIDComponent -> Bool #
Data RelativeOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RelativeOIDComponent -> c RelativeOIDComponent # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RelativeOIDComponent # toConstr :: RelativeOIDComponent -> Constr # dataTypeOf :: RelativeOIDComponent -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RelativeOIDComponent) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RelativeOIDComponent) # gmapT :: (forall b. Data b => b -> b) -> RelativeOIDComponent -> RelativeOIDComponent # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RelativeOIDComponent -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RelativeOIDComponent -> r # gmapQ :: (forall d. Data d => d -> u) -> RelativeOIDComponent -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> RelativeOIDComponent -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> RelativeOIDComponent -> m RelativeOIDComponent # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RelativeOIDComponent -> m RelativeOIDComponent # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RelativeOIDComponent -> m RelativeOIDComponent #
Ord RelativeOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: RelativeOIDComponent -> RelativeOIDComponent -> Ordering # (<) :: RelativeOIDComponent -> RelativeOIDComponent -> Bool # (<=) :: RelativeOIDComponent -> RelativeOIDComponent -> Bool # (>) :: RelativeOIDComponent -> RelativeOIDComponent -> Bool # (>=) :: RelativeOIDComponent -> RelativeOIDComponent -> Bool # max :: RelativeOIDComponent -> RelativeOIDComponent -> RelativeOIDComponent # min :: RelativeOIDComponent -> RelativeOIDComponent -> RelativeOIDComponent #
Show RelativeOIDComponent Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> RelativeOIDComponent -> ShowS # show :: RelativeOIDComponent -> String # showList :: [RelativeOIDComponent] -> ShowS #

relativeOIDComponent :: ParsecT [Char] u Identity RelativeOIDComponent Source #

relativeOIDValue :: ParsecT String u Identity Value Source #

embeddedPDVValue :: ParsecT [Char] () Identity Value Source #

externalValue :: ParsecT [Char] () Identity Value Source #

characterStringType :: ParsecT String u Identity BuiltinType Source #

restrictedCharacterStringValue :: ParsecT String u Identity Value Source #

data CharsDefn Source #

Constructors

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

Instances

Eq CharsDefn Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: CharsDefn -> CharsDefn -> Bool # (/=) :: CharsDefn -> CharsDefn -> Bool #
Data CharsDefn Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: CharsDefn -> CharsDefn -> Ordering # (<) :: CharsDefn -> CharsDefn -> Bool # (<=) :: CharsDefn -> CharsDefn -> Bool # (>) :: CharsDefn -> CharsDefn -> Bool # (>=) :: CharsDefn -> CharsDefn -> Bool # max :: CharsDefn -> CharsDefn -> CharsDefn # min :: CharsDefn -> CharsDefn -> CharsDefn #
Show CharsDefn Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> CharsDefn -> ShowS # show :: CharsDefn -> String # showList :: [CharsDefn] -> ShowS #

charsDefn :: ParsecT [Char] u Identity CharsDefn Source #

unrestrictedCharacterStringValue :: ParsecT [Char] () Identity Value Source #

usefulType :: ParsecT String u Identity BuiltinType Source #

generalizedTimeValue :: ParsecT String u Identity Value Source #

utcTimeValue :: ParsecT String u Identity Value Source #

objectDescriptorValue :: ParsecT String u Identity Value Source #

data Constraint Source #

Constructors

Constraint ElementSets (Maybe ExceptionIdentification)

Instances

Eq Constraint Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Constraint -> Constraint -> Bool # (/=) :: Constraint -> Constraint -> Bool #
Data Constraint Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Constraint -> c Constraint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Constraint # toConstr :: Constraint -> Constr # dataTypeOf :: Constraint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Constraint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constraint) # gmapT :: (forall b. Data b => b -> b) -> Constraint -> Constraint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r # gmapQ :: (forall d. Data d => d -> u) -> Constraint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Constraint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint #
Ord Constraint Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: Constraint -> Constraint -> Ordering # (<) :: Constraint -> Constraint -> Bool # (<=) :: Constraint -> Constraint -> Bool # (>) :: Constraint -> Constraint -> Bool # (>=) :: Constraint -> Constraint -> Bool # max :: Constraint -> Constraint -> Constraint # min :: Constraint -> Constraint -> Constraint #
Show Constraint Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Constraint -> ShowS # show :: Constraint -> String # showList :: [Constraint] -> ShowS #

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 #

Constructors

ClosedSet Bool ElementSet
ExtendableSet ElementSet
SetRange ElementSet ElementSet

Instances

Eq ElementSets Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ElementSets -> ElementSets -> Bool # (/=) :: ElementSets -> ElementSets -> Bool #
Data ElementSets Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ElementSets -> c ElementSets # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ElementSets # toConstr :: ElementSets -> Constr # dataTypeOf :: ElementSets -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ElementSets) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ElementSets) # gmapT :: (forall b. Data b => b -> b) -> ElementSets -> ElementSets # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ElementSets -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ElementSets -> r # gmapQ :: (forall d. Data d => d -> u) -> ElementSets -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ElementSets -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ElementSets -> m ElementSets # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ElementSets -> m ElementSets # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ElementSets -> m ElementSets #
Ord ElementSets Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ElementSets -> ElementSets -> Ordering # (<) :: ElementSets -> ElementSets -> Bool # (<=) :: ElementSets -> ElementSets -> Bool # (>) :: ElementSets -> ElementSets -> Bool # (>=) :: ElementSets -> ElementSets -> Bool # max :: ElementSets -> ElementSets -> ElementSets # min :: ElementSets -> ElementSets -> ElementSets #
Show ElementSets Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ElementSets -> ShowS # show :: ElementSets -> String # showList :: [ElementSets] -> ShowS #

elementSetSpecs :: Maybe Type -> ParsecT String () Identity ElementSets Source #

data ElementSet Source #

Constructors

AllExcept Exclusions
Union [[Intersection]]
Singleton Elements

Instances

Eq ElementSet Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ElementSet -> ElementSet -> Bool # (/=) :: ElementSet -> ElementSet -> Bool #
Data ElementSet Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ElementSet -> c ElementSet # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ElementSet # toConstr :: ElementSet -> Constr # dataTypeOf :: ElementSet -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ElementSet) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ElementSet) # gmapT :: (forall b. Data b => b -> b) -> ElementSet -> ElementSet # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ElementSet -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ElementSet -> r # gmapQ :: (forall d. Data d => d -> u) -> ElementSet -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ElementSet -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ElementSet -> m ElementSet # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ElementSet -> m ElementSet # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ElementSet -> m ElementSet #
Ord ElementSet Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ElementSet -> ElementSet -> Ordering # (<) :: ElementSet -> ElementSet -> Bool # (<=) :: ElementSet -> ElementSet -> Bool # (>) :: ElementSet -> ElementSet -> Bool # (>=) :: ElementSet -> ElementSet -> Bool # max :: ElementSet -> ElementSet -> ElementSet # min :: ElementSet -> ElementSet -> ElementSet #
Show ElementSet Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ElementSet -> ShowS # show :: ElementSet -> String # showList :: [ElementSet] -> ShowS #

elementSetSpec :: Maybe Type -> ParsecT String () Identity ElementSet Source #

unions :: Maybe Type -> ParsecT String () Identity [[Intersection]] Source #

intersections :: Maybe Type -> ParsecT String () Identity [Intersection] Source #

data Intersection Source #

Constructors

Intersection Elements (Maybe Exclusions)

Instances

Eq Intersection Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Intersection -> Intersection -> Bool # (/=) :: Intersection -> Intersection -> Bool #
Data Intersection Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Intersection -> c Intersection # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Intersection # toConstr :: Intersection -> Constr # dataTypeOf :: Intersection -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Intersection) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Intersection) # gmapT :: (forall b. Data b => b -> b) -> Intersection -> Intersection # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Intersection -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Intersection -> r # gmapQ :: (forall d. Data d => d -> u) -> Intersection -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Intersection -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Intersection -> m Intersection # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Intersection -> m Intersection # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Intersection -> m Intersection #
Ord Intersection Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: Intersection -> Intersection -> Ordering # (<) :: Intersection -> Intersection -> Bool # (<=) :: Intersection -> Intersection -> Bool # (>) :: Intersection -> Intersection -> Bool # (>=) :: Intersection -> Intersection -> Bool # max :: Intersection -> Intersection -> Intersection # min :: Intersection -> Intersection -> Intersection #
Show Intersection Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Intersection -> ShowS # show :: Intersection -> String # showList :: [Intersection] -> ShowS #

intersectionElements :: Maybe Type -> ParsecT String () Identity Intersection Source #

type Exclusions = Elements Source #

exclusions :: Maybe Type -> ParsecT String () Identity Exclusions Source #

unionMark :: ParsecT String u Identity () Source #

intersectionMark :: ParsecT String u Identity () Source #

data Elements Source #

Constructors

Subset ElementSet
Subtype SubtypeElements
ObjSet ObjectSetElements

Instances

Eq Elements Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Elements -> Elements -> Bool # (/=) :: Elements -> Elements -> Bool #
Data Elements Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Elements -> Elements -> Ordering # (<) :: Elements -> Elements -> Bool # (<=) :: Elements -> Elements -> Bool # (>) :: Elements -> Elements -> Bool # (>=) :: Elements -> Elements -> Bool # max :: Elements -> Elements -> Elements # min :: Elements -> Elements -> Elements #
Show Elements Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Elements -> ShowS # show :: Elements -> String # showList :: [Elements] -> ShowS #

elements :: Maybe Type -> ParsecT String () Identity Elements Source #

data SubtypeElements Source #

Constructors

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

Instances

Eq SubtypeElements Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: SubtypeElements -> SubtypeElements -> Bool # (/=) :: SubtypeElements -> SubtypeElements -> Bool #
Data SubtypeElements Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SubtypeElements -> c SubtypeElements # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SubtypeElements # toConstr :: SubtypeElements -> Constr # dataTypeOf :: SubtypeElements -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SubtypeElements) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SubtypeElements) # gmapT :: (forall b. Data b => b -> b) -> SubtypeElements -> SubtypeElements # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SubtypeElements -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SubtypeElements -> r # gmapQ :: (forall d. Data d => d -> u) -> SubtypeElements -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> SubtypeElements -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> SubtypeElements -> m SubtypeElements # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SubtypeElements -> m SubtypeElements # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SubtypeElements -> m SubtypeElements #
Ord SubtypeElements Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: SubtypeElements -> SubtypeElements -> Ordering # (<) :: SubtypeElements -> SubtypeElements -> Bool # (<=) :: SubtypeElements -> SubtypeElements -> Bool # (>) :: SubtypeElements -> SubtypeElements -> Bool # (>=) :: SubtypeElements -> SubtypeElements -> Bool # max :: SubtypeElements -> SubtypeElements -> SubtypeElements # min :: SubtypeElements -> SubtypeElements -> SubtypeElements #
Show SubtypeElements Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> SubtypeElements -> ShowS # show :: SubtypeElements -> String # showList :: [SubtypeElements] -> ShowS #

subtypeElements :: Maybe Type -> ParsecT [Char] () Identity SubtypeElements Source #

containedSubtype :: GenParser Char () SubtypeElements Source #

data ValueRangeEndpoint Source #

Constructors

Closed ValueRangeEndValue
Open ValueRangeEndValue

Instances

Eq ValueRangeEndpoint Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ValueRangeEndpoint -> ValueRangeEndpoint -> Bool # (/=) :: ValueRangeEndpoint -> ValueRangeEndpoint -> Bool #
Data ValueRangeEndpoint Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueRangeEndpoint -> c ValueRangeEndpoint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueRangeEndpoint # toConstr :: ValueRangeEndpoint -> Constr # dataTypeOf :: ValueRangeEndpoint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueRangeEndpoint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueRangeEndpoint) # gmapT :: (forall b. Data b => b -> b) -> ValueRangeEndpoint -> ValueRangeEndpoint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueRangeEndpoint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueRangeEndpoint -> r # gmapQ :: (forall d. Data d => d -> u) -> ValueRangeEndpoint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueRangeEndpoint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueRangeEndpoint -> m ValueRangeEndpoint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueRangeEndpoint -> m ValueRangeEndpoint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueRangeEndpoint -> m ValueRangeEndpoint #
Ord ValueRangeEndpoint Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ValueRangeEndpoint -> ValueRangeEndpoint -> Ordering # (<) :: ValueRangeEndpoint -> ValueRangeEndpoint -> Bool # (<=) :: ValueRangeEndpoint -> ValueRangeEndpoint -> Bool # (>) :: ValueRangeEndpoint -> ValueRangeEndpoint -> Bool # (>=) :: ValueRangeEndpoint -> ValueRangeEndpoint -> Bool # max :: ValueRangeEndpoint -> ValueRangeEndpoint -> ValueRangeEndpoint # min :: ValueRangeEndpoint -> ValueRangeEndpoint -> ValueRangeEndpoint #
Show ValueRangeEndpoint Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ValueRangeEndpoint -> ShowS # show :: ValueRangeEndpoint -> String # showList :: [ValueRangeEndpoint] -> ShowS #

data ValueRangeEndValue Source #

Constructors

MinValue
MaxValue
Value Value

Instances

Eq ValueRangeEndValue Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ValueRangeEndValue -> ValueRangeEndValue -> Bool # (/=) :: ValueRangeEndValue -> ValueRangeEndValue -> Bool #
Data ValueRangeEndValue Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueRangeEndValue -> c ValueRangeEndValue # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueRangeEndValue # toConstr :: ValueRangeEndValue -> Constr # dataTypeOf :: ValueRangeEndValue -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueRangeEndValue) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueRangeEndValue) # gmapT :: (forall b. Data b => b -> b) -> ValueRangeEndValue -> ValueRangeEndValue # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueRangeEndValue -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueRangeEndValue -> r # gmapQ :: (forall d. Data d => d -> u) -> ValueRangeEndValue -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueRangeEndValue -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueRangeEndValue -> m ValueRangeEndValue # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueRangeEndValue -> m ValueRangeEndValue # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueRangeEndValue -> m ValueRangeEndValue #
Ord ValueRangeEndValue Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ValueRangeEndValue -> ValueRangeEndValue -> Ordering # (<) :: ValueRangeEndValue -> ValueRangeEndValue -> Bool # (<=) :: ValueRangeEndValue -> ValueRangeEndValue -> Bool # (>) :: ValueRangeEndValue -> ValueRangeEndValue -> Bool # (>=) :: ValueRangeEndValue -> ValueRangeEndValue -> Bool # max :: ValueRangeEndValue -> ValueRangeEndValue -> ValueRangeEndValue # min :: ValueRangeEndValue -> ValueRangeEndValue -> ValueRangeEndValue #
Show ValueRangeEndValue Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ValueRangeEndValue -> ShowS # show :: ValueRangeEndValue -> String # showList :: [ValueRangeEndValue] -> ShowS #

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 #

sizeConstraint :: ParsecT String () Identity SubtypeElements Source #

permittedAlphabet :: Maybe Type -> ParsecT [Char] () Identity SubtypeElements Source #

innerTypeConstraints :: Maybe Type -> ParsecT [Char] () Identity SubtypeElements Source #

multipleTypeConstraints :: Maybe Type -> ParsecT String () Identity TypeConstraints Source #

type TypeConstraints = [NamedConstraint] Source #

typeConstraints :: Maybe Type -> ParsecT String () Identity TypeConstraints Source #

data NamedConstraint Source #

Constructors

NamedConstraint Identifier ComponentConstraint

Instances

Eq NamedConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: NamedConstraint -> NamedConstraint -> Bool # (/=) :: NamedConstraint -> NamedConstraint -> Bool #
Data NamedConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedConstraint -> c NamedConstraint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedConstraint # toConstr :: NamedConstraint -> Constr # dataTypeOf :: NamedConstraint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedConstraint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedConstraint) # gmapT :: (forall b. Data b => b -> b) -> NamedConstraint -> NamedConstraint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedConstraint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedConstraint -> r # gmapQ :: (forall d. Data d => d -> u) -> NamedConstraint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedConstraint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedConstraint -> m NamedConstraint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedConstraint -> m NamedConstraint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedConstraint -> m NamedConstraint #
Ord NamedConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: NamedConstraint -> NamedConstraint -> Ordering # (<) :: NamedConstraint -> NamedConstraint -> Bool # (<=) :: NamedConstraint -> NamedConstraint -> Bool # (>) :: NamedConstraint -> NamedConstraint -> Bool # (>=) :: NamedConstraint -> NamedConstraint -> Bool # max :: NamedConstraint -> NamedConstraint -> NamedConstraint # min :: NamedConstraint -> NamedConstraint -> NamedConstraint #
Show NamedConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> NamedConstraint -> ShowS # show :: NamedConstraint -> String # showList :: [NamedConstraint] -> ShowS #

namedConstraint :: Maybe Type -> ParsecT String () Identity NamedConstraint Source #

data ComponentConstraint Source #

Constructors

ComponentConstraint (Maybe Constraint) (Maybe PresenceConstraint)

Instances

Eq ComponentConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ComponentConstraint -> ComponentConstraint -> Bool # (/=) :: ComponentConstraint -> ComponentConstraint -> Bool #
Data ComponentConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ComponentConstraint -> c ComponentConstraint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ComponentConstraint # toConstr :: ComponentConstraint -> Constr # dataTypeOf :: ComponentConstraint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ComponentConstraint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ComponentConstraint) # gmapT :: (forall b. Data b => b -> b) -> ComponentConstraint -> ComponentConstraint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ComponentConstraint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ComponentConstraint -> r # gmapQ :: (forall d. Data d => d -> u) -> ComponentConstraint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ComponentConstraint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ComponentConstraint -> m ComponentConstraint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ComponentConstraint -> m ComponentConstraint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ComponentConstraint -> m ComponentConstraint #
Ord ComponentConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ComponentConstraint -> ComponentConstraint -> Ordering # (<) :: ComponentConstraint -> ComponentConstraint -> Bool # (<=) :: ComponentConstraint -> ComponentConstraint -> Bool # (>) :: ComponentConstraint -> ComponentConstraint -> Bool # (>=) :: ComponentConstraint -> ComponentConstraint -> Bool # max :: ComponentConstraint -> ComponentConstraint -> ComponentConstraint # min :: ComponentConstraint -> ComponentConstraint -> ComponentConstraint #
Show ComponentConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ComponentConstraint -> ShowS # show :: ComponentConstraint -> String # showList :: [ComponentConstraint] -> ShowS #

componentConstraint :: Maybe Type -> ParsecT String () Identity ComponentConstraint Source #

data PresenceConstraint Source #

Constructors

Present
Absent
Optional

Instances

Eq PresenceConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: PresenceConstraint -> PresenceConstraint -> Bool # (/=) :: PresenceConstraint -> PresenceConstraint -> Bool #
Data PresenceConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PresenceConstraint -> c PresenceConstraint # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PresenceConstraint # toConstr :: PresenceConstraint -> Constr # dataTypeOf :: PresenceConstraint -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PresenceConstraint) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PresenceConstraint) # gmapT :: (forall b. Data b => b -> b) -> PresenceConstraint -> PresenceConstraint # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PresenceConstraint -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PresenceConstraint -> r # gmapQ :: (forall d. Data d => d -> u) -> PresenceConstraint -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PresenceConstraint -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PresenceConstraint -> m PresenceConstraint # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PresenceConstraint -> m PresenceConstraint # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PresenceConstraint -> m PresenceConstraint #
Ord PresenceConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: PresenceConstraint -> PresenceConstraint -> Ordering # (<) :: PresenceConstraint -> PresenceConstraint -> Bool # (<=) :: PresenceConstraint -> PresenceConstraint -> Bool # (>) :: PresenceConstraint -> PresenceConstraint -> Bool # (>=) :: PresenceConstraint -> PresenceConstraint -> Bool # max :: PresenceConstraint -> PresenceConstraint -> PresenceConstraint # min :: PresenceConstraint -> PresenceConstraint -> PresenceConstraint #
Show PresenceConstraint Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> PresenceConstraint -> ShowS # show :: PresenceConstraint -> String # showList :: [PresenceConstraint] -> ShowS #

presenceConstraint :: ParsecT String u Identity PresenceConstraint Source #

patternConstraint :: ParsecT String u Identity SubtypeElements Source #

exceptionSpec :: ParsecT String () Identity (Maybe ExceptionIdentification) Source #

data ExceptionIdentification Source #

Constructors

ExceptionNumber Integer
ExceptionValue DefinedValue
ExceptionTypeAndValue Type Value

Instances

Eq ExceptionIdentification Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ExceptionIdentification -> ExceptionIdentification -> Bool # (/=) :: ExceptionIdentification -> ExceptionIdentification -> Bool #
Data ExceptionIdentification Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExceptionIdentification -> c ExceptionIdentification # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExceptionIdentification # toConstr :: ExceptionIdentification -> Constr # dataTypeOf :: ExceptionIdentification -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExceptionIdentification) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExceptionIdentification) # gmapT :: (forall b. Data b => b -> b) -> ExceptionIdentification -> ExceptionIdentification # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExceptionIdentification -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExceptionIdentification -> r # gmapQ :: (forall d. Data d => d -> u) -> ExceptionIdentification -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ExceptionIdentification -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExceptionIdentification -> m ExceptionIdentification # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExceptionIdentification -> m ExceptionIdentification # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExceptionIdentification -> m ExceptionIdentification #
Ord ExceptionIdentification Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ExceptionIdentification -> ExceptionIdentification -> Ordering # (<) :: ExceptionIdentification -> ExceptionIdentification -> Bool # (<=) :: ExceptionIdentification -> ExceptionIdentification -> Bool # (>) :: ExceptionIdentification -> ExceptionIdentification -> Bool # (>=) :: ExceptionIdentification -> ExceptionIdentification -> Bool # max :: ExceptionIdentification -> ExceptionIdentification -> ExceptionIdentification # min :: ExceptionIdentification -> ExceptionIdentification -> ExceptionIdentification #
Show ExceptionIdentification Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ExceptionIdentification -> ShowS # show :: ExceptionIdentification -> String # showList :: [ExceptionIdentification] -> ShowS #

exceptionIdentification :: ParsecT String () Identity ExceptionIdentification Source #

anyType :: ParsecT String u Identity BuiltinType Source #

newtype ObjectClassReference Source #

Constructors

ObjectClassReference String

Instances

Eq ObjectClassReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectClassReference -> ObjectClassReference -> Bool # (/=) :: ObjectClassReference -> ObjectClassReference -> Bool #
Data ObjectClassReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectClassReference -> c ObjectClassReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectClassReference # toConstr :: ObjectClassReference -> Constr # dataTypeOf :: ObjectClassReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectClassReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectClassReference) # gmapT :: (forall b. Data b => b -> b) -> ObjectClassReference -> ObjectClassReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectClassReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectClassReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectClassReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectClassReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectClassReference -> m ObjectClassReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectClassReference -> m ObjectClassReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectClassReference -> m ObjectClassReference #
Ord ObjectClassReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectClassReference -> ObjectClassReference -> Ordering # (<) :: ObjectClassReference -> ObjectClassReference -> Bool # (<=) :: ObjectClassReference -> ObjectClassReference -> Bool # (>) :: ObjectClassReference -> ObjectClassReference -> Bool # (>=) :: ObjectClassReference -> ObjectClassReference -> Bool # max :: ObjectClassReference -> ObjectClassReference -> ObjectClassReference # min :: ObjectClassReference -> ObjectClassReference -> ObjectClassReference #
Show ObjectClassReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectClassReference -> ShowS # show :: ObjectClassReference -> String # showList :: [ObjectClassReference] -> ShowS #

objectclassreference :: ParsecT String u Identity ObjectClassReference Source #

newtype ObjectReference Source #

Constructors

ObjectReference String

Instances

Eq ObjectReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectReference -> ObjectReference -> Bool # (/=) :: ObjectReference -> ObjectReference -> Bool #
Data ObjectReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectReference -> c ObjectReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectReference # toConstr :: ObjectReference -> Constr # dataTypeOf :: ObjectReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectReference) # gmapT :: (forall b. Data b => b -> b) -> ObjectReference -> ObjectReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectReference -> m ObjectReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectReference -> m ObjectReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectReference -> m ObjectReference #
Ord ObjectReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectReference -> ObjectReference -> Ordering # (<) :: ObjectReference -> ObjectReference -> Bool # (<=) :: ObjectReference -> ObjectReference -> Bool # (>) :: ObjectReference -> ObjectReference -> Bool # (>=) :: ObjectReference -> ObjectReference -> Bool # max :: ObjectReference -> ObjectReference -> ObjectReference # min :: ObjectReference -> ObjectReference -> ObjectReference #
Show ObjectReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectReference -> ShowS # show :: ObjectReference -> String # showList :: [ObjectReference] -> ShowS #

objectreference :: ParsecT String u Identity ObjectReference Source #

_objectreference :: ParsecT String u Identity String Source #

newtype ObjectSetReference Source #

Constructors

ObjectSetReference String

Instances

Eq ObjectSetReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectSetReference -> ObjectSetReference -> Bool # (/=) :: ObjectSetReference -> ObjectSetReference -> Bool #
Data ObjectSetReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectSetReference -> c ObjectSetReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectSetReference # toConstr :: ObjectSetReference -> Constr # dataTypeOf :: ObjectSetReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectSetReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectSetReference) # gmapT :: (forall b. Data b => b -> b) -> ObjectSetReference -> ObjectSetReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectSetReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectSetReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectSetReference -> m ObjectSetReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetReference -> m ObjectSetReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetReference -> m ObjectSetReference #
Ord ObjectSetReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectSetReference -> ObjectSetReference -> Ordering # (<) :: ObjectSetReference -> ObjectSetReference -> Bool # (<=) :: ObjectSetReference -> ObjectSetReference -> Bool # (>) :: ObjectSetReference -> ObjectSetReference -> Bool # (>=) :: ObjectSetReference -> ObjectSetReference -> Bool # max :: ObjectSetReference -> ObjectSetReference -> ObjectSetReference # min :: ObjectSetReference -> ObjectSetReference -> ObjectSetReference #
Show ObjectSetReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectSetReference -> ShowS # show :: ObjectSetReference -> String # showList :: [ObjectSetReference] -> ShowS #

objectsetreference :: ParsecT String u Identity ObjectSetReference Source #

_objectsetreference :: ParsecT String u Identity String Source #

newtype TypeFieldReference Source #

Constructors

TypeFieldReference String

Instances

Eq TypeFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: TypeFieldReference -> TypeFieldReference -> Bool # (/=) :: TypeFieldReference -> TypeFieldReference -> Bool #
Data TypeFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeFieldReference -> c TypeFieldReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeFieldReference # toConstr :: TypeFieldReference -> Constr # dataTypeOf :: TypeFieldReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeFieldReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeFieldReference) # gmapT :: (forall b. Data b => b -> b) -> TypeFieldReference -> TypeFieldReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeFieldReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeFieldReference -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeFieldReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeFieldReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeFieldReference -> m TypeFieldReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeFieldReference -> m TypeFieldReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeFieldReference -> m TypeFieldReference #
Ord TypeFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: TypeFieldReference -> TypeFieldReference -> Ordering # (<) :: TypeFieldReference -> TypeFieldReference -> Bool # (<=) :: TypeFieldReference -> TypeFieldReference -> Bool # (>) :: TypeFieldReference -> TypeFieldReference -> Bool # (>=) :: TypeFieldReference -> TypeFieldReference -> Bool # max :: TypeFieldReference -> TypeFieldReference -> TypeFieldReference # min :: TypeFieldReference -> TypeFieldReference -> TypeFieldReference #
Show TypeFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> TypeFieldReference -> ShowS # show :: TypeFieldReference -> String # showList :: [TypeFieldReference] -> ShowS #

typefieldreference :: ParsecT String u Identity TypeFieldReference Source #

newtype ValueFieldReference Source #

Constructors

ValueFieldReference String

Instances

Eq ValueFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ValueFieldReference -> ValueFieldReference -> Bool # (/=) :: ValueFieldReference -> ValueFieldReference -> Bool #
Data ValueFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueFieldReference -> c ValueFieldReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueFieldReference # toConstr :: ValueFieldReference -> Constr # dataTypeOf :: ValueFieldReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueFieldReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueFieldReference) # gmapT :: (forall b. Data b => b -> b) -> ValueFieldReference -> ValueFieldReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueFieldReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueFieldReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ValueFieldReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueFieldReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueFieldReference -> m ValueFieldReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueFieldReference -> m ValueFieldReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueFieldReference -> m ValueFieldReference #
Ord ValueFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ValueFieldReference -> ValueFieldReference -> Ordering # (<) :: ValueFieldReference -> ValueFieldReference -> Bool # (<=) :: ValueFieldReference -> ValueFieldReference -> Bool # (>) :: ValueFieldReference -> ValueFieldReference -> Bool # (>=) :: ValueFieldReference -> ValueFieldReference -> Bool # max :: ValueFieldReference -> ValueFieldReference -> ValueFieldReference # min :: ValueFieldReference -> ValueFieldReference -> ValueFieldReference #
Show ValueFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ValueFieldReference -> ShowS # show :: ValueFieldReference -> String # showList :: [ValueFieldReference] -> ShowS #

valuefieldreference :: ParsecT String u Identity ValueFieldReference Source #

newtype ValueSetFieldReference Source #

Constructors

ValueSetFieldReference String

Instances

Eq ValueSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ValueSetFieldReference -> ValueSetFieldReference -> Bool # (/=) :: ValueSetFieldReference -> ValueSetFieldReference -> Bool #
Data ValueSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueSetFieldReference -> c ValueSetFieldReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueSetFieldReference # toConstr :: ValueSetFieldReference -> Constr # dataTypeOf :: ValueSetFieldReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueSetFieldReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueSetFieldReference) # gmapT :: (forall b. Data b => b -> b) -> ValueSetFieldReference -> ValueSetFieldReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueSetFieldReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueSetFieldReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ValueSetFieldReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueSetFieldReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueSetFieldReference -> m ValueSetFieldReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueSetFieldReference -> m ValueSetFieldReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueSetFieldReference -> m ValueSetFieldReference #
Ord ValueSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ValueSetFieldReference -> ValueSetFieldReference -> Ordering # (<) :: ValueSetFieldReference -> ValueSetFieldReference -> Bool # (<=) :: ValueSetFieldReference -> ValueSetFieldReference -> Bool # (>) :: ValueSetFieldReference -> ValueSetFieldReference -> Bool # (>=) :: ValueSetFieldReference -> ValueSetFieldReference -> Bool # max :: ValueSetFieldReference -> ValueSetFieldReference -> ValueSetFieldReference # min :: ValueSetFieldReference -> ValueSetFieldReference -> ValueSetFieldReference #
Show ValueSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ValueSetFieldReference -> ShowS # show :: ValueSetFieldReference -> String # showList :: [ValueSetFieldReference] -> ShowS #

valuesetfieldreference :: ParsecT String u Identity ValueSetFieldReference Source #

newtype ObjectFieldReference Source #

Constructors

ObjectFieldReference String

Instances

Eq ObjectFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectFieldReference -> ObjectFieldReference -> Bool # (/=) :: ObjectFieldReference -> ObjectFieldReference -> Bool #
Data ObjectFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectFieldReference -> c ObjectFieldReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectFieldReference # toConstr :: ObjectFieldReference -> Constr # dataTypeOf :: ObjectFieldReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectFieldReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectFieldReference) # gmapT :: (forall b. Data b => b -> b) -> ObjectFieldReference -> ObjectFieldReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectFieldReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectFieldReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectFieldReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectFieldReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectFieldReference -> m ObjectFieldReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectFieldReference -> m ObjectFieldReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectFieldReference -> m ObjectFieldReference #
Ord ObjectFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectFieldReference -> ObjectFieldReference -> Ordering # (<) :: ObjectFieldReference -> ObjectFieldReference -> Bool # (<=) :: ObjectFieldReference -> ObjectFieldReference -> Bool # (>) :: ObjectFieldReference -> ObjectFieldReference -> Bool # (>=) :: ObjectFieldReference -> ObjectFieldReference -> Bool # max :: ObjectFieldReference -> ObjectFieldReference -> ObjectFieldReference # min :: ObjectFieldReference -> ObjectFieldReference -> ObjectFieldReference #
Show ObjectFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectFieldReference -> ShowS # show :: ObjectFieldReference -> String # showList :: [ObjectFieldReference] -> ShowS #

objectfieldreference :: ParsecT String u Identity ObjectFieldReference Source #

newtype ObjectSetFieldReference Source #

Constructors

ObjectSetFieldReference String

Instances

Eq ObjectSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectSetFieldReference -> ObjectSetFieldReference -> Bool # (/=) :: ObjectSetFieldReference -> ObjectSetFieldReference -> Bool #
Data ObjectSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectSetFieldReference -> c ObjectSetFieldReference # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectSetFieldReference # toConstr :: ObjectSetFieldReference -> Constr # dataTypeOf :: ObjectSetFieldReference -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectSetFieldReference) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectSetFieldReference) # gmapT :: (forall b. Data b => b -> b) -> ObjectSetFieldReference -> ObjectSetFieldReference # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetFieldReference -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetFieldReference -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectSetFieldReference -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectSetFieldReference -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectSetFieldReference -> m ObjectSetFieldReference # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetFieldReference -> m ObjectSetFieldReference # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetFieldReference -> m ObjectSetFieldReference #
Ord ObjectSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectSetFieldReference -> ObjectSetFieldReference -> Ordering # (<) :: ObjectSetFieldReference -> ObjectSetFieldReference -> Bool # (<=) :: ObjectSetFieldReference -> ObjectSetFieldReference -> Bool # (>) :: ObjectSetFieldReference -> ObjectSetFieldReference -> Bool # (>=) :: ObjectSetFieldReference -> ObjectSetFieldReference -> Bool # max :: ObjectSetFieldReference -> ObjectSetFieldReference -> ObjectSetFieldReference # min :: ObjectSetFieldReference -> ObjectSetFieldReference -> ObjectSetFieldReference #
Show ObjectSetFieldReference Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectSetFieldReference -> ShowS # show :: ObjectSetFieldReference -> String # showList :: [ObjectSetFieldReference] -> ShowS #

objectsetfieldreference :: ParsecT String u Identity ObjectSetFieldReference Source #

data DefinedObjectClass Source #

Constructors

ExternalObjectClassReference ModuleReference ObjectClassReference
LocalObjectClassReference ObjectClassReference
TypeIdentifier
AbstractSyntax

Instances

Eq DefinedObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: DefinedObjectClass -> DefinedObjectClass -> Bool # (/=) :: DefinedObjectClass -> DefinedObjectClass -> Bool #
Data DefinedObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DefinedObjectClass -> c DefinedObjectClass # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DefinedObjectClass # toConstr :: DefinedObjectClass -> Constr # dataTypeOf :: DefinedObjectClass -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DefinedObjectClass) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DefinedObjectClass) # gmapT :: (forall b. Data b => b -> b) -> DefinedObjectClass -> DefinedObjectClass # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DefinedObjectClass -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DefinedObjectClass -> r # gmapQ :: (forall d. Data d => d -> u) -> DefinedObjectClass -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DefinedObjectClass -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DefinedObjectClass -> m DefinedObjectClass # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedObjectClass -> m DefinedObjectClass # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedObjectClass -> m DefinedObjectClass #
Ord DefinedObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: DefinedObjectClass -> DefinedObjectClass -> Ordering # (<) :: DefinedObjectClass -> DefinedObjectClass -> Bool # (<=) :: DefinedObjectClass -> DefinedObjectClass -> Bool # (>) :: DefinedObjectClass -> DefinedObjectClass -> Bool # (>=) :: DefinedObjectClass -> DefinedObjectClass -> Bool # max :: DefinedObjectClass -> DefinedObjectClass -> DefinedObjectClass # min :: DefinedObjectClass -> DefinedObjectClass -> DefinedObjectClass #
Show DefinedObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> DefinedObjectClass -> ShowS # show :: DefinedObjectClass -> String # showList :: [DefinedObjectClass] -> ShowS #

definedObjectClass :: ParsecT [Char] u Identity DefinedObjectClass Source #

data DefinedObject Source #

Constructors

ExternalObjectReference ModuleReference ObjectReference
LocalObjectReference ObjectReference

Instances

Eq DefinedObject Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: DefinedObject -> DefinedObject -> Bool # (/=) :: DefinedObject -> DefinedObject -> Bool #
Data DefinedObject Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DefinedObject -> c DefinedObject # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DefinedObject # toConstr :: DefinedObject -> Constr # dataTypeOf :: DefinedObject -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DefinedObject) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DefinedObject) # gmapT :: (forall b. Data b => b -> b) -> DefinedObject -> DefinedObject # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DefinedObject -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DefinedObject -> r # gmapQ :: (forall d. Data d => d -> u) -> DefinedObject -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DefinedObject -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DefinedObject -> m DefinedObject # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedObject -> m DefinedObject # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedObject -> m DefinedObject #
Ord DefinedObject Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: DefinedObject -> DefinedObject -> Ordering # (<) :: DefinedObject -> DefinedObject -> Bool # (<=) :: DefinedObject -> DefinedObject -> Bool # (>) :: DefinedObject -> DefinedObject -> Bool # (>=) :: DefinedObject -> DefinedObject -> Bool # max :: DefinedObject -> DefinedObject -> DefinedObject # min :: DefinedObject -> DefinedObject -> DefinedObject #
Show DefinedObject Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> DefinedObject -> ShowS # show :: DefinedObject -> String # showList :: [DefinedObject] -> ShowS #

definedObject :: ParsecT [Char] u Identity DefinedObject Source #

data DefinedObjectSet Source #

Constructors

ExternalObjectSetReference ModuleReference ObjectSetReference
LocalObjectSetReference ObjectSetReference

Instances

Eq DefinedObjectSet Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: DefinedObjectSet -> DefinedObjectSet -> Bool # (/=) :: DefinedObjectSet -> DefinedObjectSet -> Bool #
Data DefinedObjectSet Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DefinedObjectSet -> c DefinedObjectSet # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DefinedObjectSet # toConstr :: DefinedObjectSet -> Constr # dataTypeOf :: DefinedObjectSet -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DefinedObjectSet) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DefinedObjectSet) # gmapT :: (forall b. Data b => b -> b) -> DefinedObjectSet -> DefinedObjectSet # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DefinedObjectSet -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DefinedObjectSet -> r # gmapQ :: (forall d. Data d => d -> u) -> DefinedObjectSet -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> DefinedObjectSet -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DefinedObjectSet -> m DefinedObjectSet # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedObjectSet -> m DefinedObjectSet # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinedObjectSet -> m DefinedObjectSet #
Ord DefinedObjectSet Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: DefinedObjectSet -> DefinedObjectSet -> Ordering # (<) :: DefinedObjectSet -> DefinedObjectSet -> Bool # (<=) :: DefinedObjectSet -> DefinedObjectSet -> Bool # (>) :: DefinedObjectSet -> DefinedObjectSet -> Bool # (>=) :: DefinedObjectSet -> DefinedObjectSet -> Bool # max :: DefinedObjectSet -> DefinedObjectSet -> DefinedObjectSet # min :: DefinedObjectSet -> DefinedObjectSet -> DefinedObjectSet #
Show DefinedObjectSet Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> DefinedObjectSet -> ShowS # show :: DefinedObjectSet -> String # showList :: [DefinedObjectSet] -> ShowS #

definedObjectSet :: ParsecT [Char] u Identity DefinedObjectSet Source #

objectClassAssignment :: ParsecT String () Identity Assignment Source #

data ObjectClass Source #

Constructors

ObjectClassDefn [Field]
DefinedObjectClassDefn DefinedObjectClass

Instances

Eq ObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectClass -> ObjectClass -> Bool # (/=) :: ObjectClass -> ObjectClass -> Bool #
Data ObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectClass -> c ObjectClass # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectClass # toConstr :: ObjectClass -> Constr # dataTypeOf :: ObjectClass -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectClass) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectClass) # gmapT :: (forall b. Data b => b -> b) -> ObjectClass -> ObjectClass # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectClass -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectClass -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectClass -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectClass -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectClass -> m ObjectClass # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectClass -> m ObjectClass # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectClass -> m ObjectClass #
Ord ObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectClass -> ObjectClass -> Ordering # (<) :: ObjectClass -> ObjectClass -> Bool # (<=) :: ObjectClass -> ObjectClass -> Bool # (>) :: ObjectClass -> ObjectClass -> Bool # (>=) :: ObjectClass -> ObjectClass -> Bool # max :: ObjectClass -> ObjectClass -> ObjectClass # min :: ObjectClass -> ObjectClass -> ObjectClass #
Show ObjectClass Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectClass -> ShowS # show :: ObjectClass -> String # showList :: [ObjectClass] -> ShowS #

objectClass :: ParsecT [Char] () Identity ObjectClass Source #

objectClassDefn :: ParsecT String () Identity ObjectClass Source #

data Field Source #

Instances

Eq Field Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Field -> Field -> Bool # (/=) :: Field -> Field -> Bool #
Data Field Source #
Instance details Defined in Language.ASN1.Parser Methods 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 # toConstr :: Field -> Constr # 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Field -> Field -> Ordering # (<) :: Field -> Field -> Bool # (<=) :: Field -> Field -> Bool # (>) :: Field -> Field -> Bool # (>=) :: Field -> Field -> Bool # max :: Field -> Field -> Field # min :: Field -> Field -> Field #
Show Field Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Field -> ShowS # show :: Field -> String # showList :: [Field] -> ShowS #

data TypeOptionality Source #

Constructors

OptionalType
DefaultType Type

Instances

Eq TypeOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: TypeOptionality -> TypeOptionality -> Bool # (/=) :: TypeOptionality -> TypeOptionality -> Bool #
Data TypeOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeOptionality -> c TypeOptionality # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeOptionality # toConstr :: TypeOptionality -> Constr # dataTypeOf :: TypeOptionality -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeOptionality) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeOptionality) # gmapT :: (forall b. Data b => b -> b) -> TypeOptionality -> TypeOptionality # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeOptionality -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeOptionality -> r # gmapQ :: (forall d. Data d => d -> u) -> TypeOptionality -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeOptionality -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeOptionality -> m TypeOptionality # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOptionality -> m TypeOptionality # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeOptionality -> m TypeOptionality #
Ord TypeOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: TypeOptionality -> TypeOptionality -> Ordering # (<) :: TypeOptionality -> TypeOptionality -> Bool # (<=) :: TypeOptionality -> TypeOptionality -> Bool # (>) :: TypeOptionality -> TypeOptionality -> Bool # (>=) :: TypeOptionality -> TypeOptionality -> Bool # max :: TypeOptionality -> TypeOptionality -> TypeOptionality # min :: TypeOptionality -> TypeOptionality -> TypeOptionality #
Show TypeOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> TypeOptionality -> ShowS # show :: TypeOptionality -> String # showList :: [TypeOptionality] -> ShowS #

data ObjectOptionality Source #

Constructors

OptionalObject
DefaultObject Object

Instances

Eq ObjectOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectOptionality -> ObjectOptionality -> Bool # (/=) :: ObjectOptionality -> ObjectOptionality -> Bool #
Data ObjectOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectOptionality -> c ObjectOptionality # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectOptionality # toConstr :: ObjectOptionality -> Constr # dataTypeOf :: ObjectOptionality -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectOptionality) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectOptionality) # gmapT :: (forall b. Data b => b -> b) -> ObjectOptionality -> ObjectOptionality # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectOptionality -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectOptionality -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectOptionality -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectOptionality -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectOptionality -> m ObjectOptionality # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectOptionality -> m ObjectOptionality # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectOptionality -> m ObjectOptionality #
Ord ObjectOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectOptionality -> ObjectOptionality -> Ordering # (<) :: ObjectOptionality -> ObjectOptionality -> Bool # (<=) :: ObjectOptionality -> ObjectOptionality -> Bool # (>) :: ObjectOptionality -> ObjectOptionality -> Bool # (>=) :: ObjectOptionality -> ObjectOptionality -> Bool # max :: ObjectOptionality -> ObjectOptionality -> ObjectOptionality # min :: ObjectOptionality -> ObjectOptionality -> ObjectOptionality #
Show ObjectOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectOptionality -> ShowS # show :: ObjectOptionality -> String # showList :: [ObjectOptionality] -> ShowS #

data ObjectSetOptionality Source #

Constructors

OptionalObjectSet
DefaultObjectSet ObjectSet

Instances

Eq ObjectSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectSetOptionality -> ObjectSetOptionality -> Bool # (/=) :: ObjectSetOptionality -> ObjectSetOptionality -> Bool #
Data ObjectSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectSetOptionality -> c ObjectSetOptionality # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectSetOptionality # toConstr :: ObjectSetOptionality -> Constr # dataTypeOf :: ObjectSetOptionality -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectSetOptionality) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectSetOptionality) # gmapT :: (forall b. Data b => b -> b) -> ObjectSetOptionality -> ObjectSetOptionality # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetOptionality -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetOptionality -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectSetOptionality -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectSetOptionality -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectSetOptionality -> m ObjectSetOptionality # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetOptionality -> m ObjectSetOptionality # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetOptionality -> m ObjectSetOptionality #
Ord ObjectSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectSetOptionality -> ObjectSetOptionality -> Ordering # (<) :: ObjectSetOptionality -> ObjectSetOptionality -> Bool # (<=) :: ObjectSetOptionality -> ObjectSetOptionality -> Bool # (>) :: ObjectSetOptionality -> ObjectSetOptionality -> Bool # (>=) :: ObjectSetOptionality -> ObjectSetOptionality -> Bool # max :: ObjectSetOptionality -> ObjectSetOptionality -> ObjectSetOptionality # min :: ObjectSetOptionality -> ObjectSetOptionality -> ObjectSetOptionality #
Show ObjectSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectSetOptionality -> ShowS # show :: ObjectSetOptionality -> String # showList :: [ObjectSetOptionality] -> ShowS #

data ValueSetOptionality Source #

Constructors

OptionalValueSet
DefaultValueSet ValueSet

Instances

Eq ValueSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ValueSetOptionality -> ValueSetOptionality -> Bool # (/=) :: ValueSetOptionality -> ValueSetOptionality -> Bool #
Data ValueSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueSetOptionality -> c ValueSetOptionality # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueSetOptionality # toConstr :: ValueSetOptionality -> Constr # dataTypeOf :: ValueSetOptionality -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueSetOptionality) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueSetOptionality) # gmapT :: (forall b. Data b => b -> b) -> ValueSetOptionality -> ValueSetOptionality # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueSetOptionality -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueSetOptionality -> r # gmapQ :: (forall d. Data d => d -> u) -> ValueSetOptionality -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueSetOptionality -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueSetOptionality -> m ValueSetOptionality # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueSetOptionality -> m ValueSetOptionality # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueSetOptionality -> m ValueSetOptionality #
Ord ValueSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ValueSetOptionality -> ValueSetOptionality -> Ordering # (<) :: ValueSetOptionality -> ValueSetOptionality -> Bool # (<=) :: ValueSetOptionality -> ValueSetOptionality -> Bool # (>) :: ValueSetOptionality -> ValueSetOptionality -> Bool # (>=) :: ValueSetOptionality -> ValueSetOptionality -> Bool # max :: ValueSetOptionality -> ValueSetOptionality -> ValueSetOptionality # min :: ValueSetOptionality -> ValueSetOptionality -> ValueSetOptionality #
Show ValueSetOptionality Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ValueSetOptionality -> ShowS # show :: ValueSetOptionality -> String # showList :: [ValueSetOptionality] -> ShowS #

field :: ParsecT [Char] () Identity Field Source #

typeField :: ParsecT String () Identity Field Source #

fixedTypeValueField :: ParsecT String () Identity Field Source #

variableTypeValueField :: ParsecT String () Identity Field Source #

fixedTypeValueSetField :: ParsecT String () Identity Field Source #

valueSetOptionality :: Maybe Type -> ParsecT String () Identity (Maybe ValueSetOptionality) Source #

variableTypeValueSetField :: ParsecT String () Identity Field Source #

objectField :: ParsecT String () Identity Field Source #

objectOptionality :: ParsecT String () Identity (Maybe ObjectOptionality) Source #

objectSetField :: ParsecT String () Identity Field Source #

objectSetOptionality :: ParsecT String () Identity (Maybe ObjectSetOptionality) Source #

data PrimitiveFieldName Source #

Constructors

PrimTFR TypeFieldReference
PrimVFR ValueFieldReference
PrimOFR ObjectFieldReference
PrimVSFR ValueSetFieldReference
PrimOSFR ObjectSetFieldReference

Instances

Eq PrimitiveFieldName Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: PrimitiveFieldName -> PrimitiveFieldName -> Bool # (/=) :: PrimitiveFieldName -> PrimitiveFieldName -> Bool #
Data PrimitiveFieldName Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrimitiveFieldName -> c PrimitiveFieldName # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrimitiveFieldName # toConstr :: PrimitiveFieldName -> Constr # dataTypeOf :: PrimitiveFieldName -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrimitiveFieldName) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrimitiveFieldName) # gmapT :: (forall b. Data b => b -> b) -> PrimitiveFieldName -> PrimitiveFieldName # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveFieldName -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrimitiveFieldName -> r # gmapQ :: (forall d. Data d => d -> u) -> PrimitiveFieldName -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PrimitiveFieldName -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrimitiveFieldName -> m PrimitiveFieldName # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveFieldName -> m PrimitiveFieldName # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrimitiveFieldName -> m PrimitiveFieldName #
Ord PrimitiveFieldName Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: PrimitiveFieldName -> PrimitiveFieldName -> Ordering # (<) :: PrimitiveFieldName -> PrimitiveFieldName -> Bool # (<=) :: PrimitiveFieldName -> PrimitiveFieldName -> Bool # (>) :: PrimitiveFieldName -> PrimitiveFieldName -> Bool # (>=) :: PrimitiveFieldName -> PrimitiveFieldName -> Bool # max :: PrimitiveFieldName -> PrimitiveFieldName -> PrimitiveFieldName # min :: PrimitiveFieldName -> PrimitiveFieldName -> PrimitiveFieldName #
Show PrimitiveFieldName Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> PrimitiveFieldName -> ShowS # show :: PrimitiveFieldName -> String # showList :: [PrimitiveFieldName] -> ShowS #

primitiveFieldName :: ParsecT [Char] u Identity PrimitiveFieldName Source #

type FieldName = [PrimitiveFieldName] Source #

fieldName :: ParsecT [Char] u Identity [PrimitiveFieldName] Source #

objectAssignment :: ParsecT String () Identity Assignment Source #

data Object Source #

Constructors

ObjectDefn [FieldSetting]
ObjDefinedObject DefinedObject
ObjectFromObject ReferencedObjects FieldName

Instances

Eq Object Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: Object -> Object -> Bool # (/=) :: Object -> Object -> Bool #
Data Object Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: Object -> Object -> Ordering # (<) :: Object -> Object -> Bool # (<=) :: Object -> Object -> Bool # (>) :: Object -> Object -> Bool # (>=) :: Object -> Object -> Bool # max :: Object -> Object -> Object # min :: Object -> Object -> Object #
Show Object Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> Object -> ShowS # show :: Object -> String # showList :: [Object] -> ShowS #

object :: ParsecT [Char] () Identity Object Source #

objectDefn :: ParsecT [Char] () Identity Object Source #

data FieldSetting Source #

Constructors

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

Instances

Eq FieldSetting Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: FieldSetting -> FieldSetting -> Bool # (/=) :: FieldSetting -> FieldSetting -> Bool #
Data FieldSetting Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldSetting -> c FieldSetting # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldSetting # toConstr :: FieldSetting -> Constr # dataTypeOf :: FieldSetting -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldSetting) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldSetting) # gmapT :: (forall b. Data b => b -> b) -> FieldSetting -> FieldSetting # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldSetting -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldSetting -> r # gmapQ :: (forall d. Data d => d -> u) -> FieldSetting -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldSetting -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldSetting -> m FieldSetting # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldSetting -> m FieldSetting # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldSetting -> m FieldSetting #
Ord FieldSetting Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: FieldSetting -> FieldSetting -> Ordering # (<) :: FieldSetting -> FieldSetting -> Bool # (<=) :: FieldSetting -> FieldSetting -> Bool # (>) :: FieldSetting -> FieldSetting -> Bool # (>=) :: FieldSetting -> FieldSetting -> Bool # max :: FieldSetting -> FieldSetting -> FieldSetting # min :: FieldSetting -> FieldSetting -> FieldSetting #
Show FieldSetting Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> FieldSetting -> ShowS # show :: FieldSetting -> String # showList :: [FieldSetting] -> ShowS #

fieldSetting :: ParsecT [Char] () Identity FieldSetting Source #

objectSetAssignment :: ParsecT String () Identity Assignment Source #

objectSet :: ParsecT String () Identity ObjectSet Source #

data ObjectSet Source #

Constructors

ObjectSet ElementSet
ObjectSetExtendableAtEnd ElementSet
EmptyExtendableObjectSet
ObjectSetExtendableAtStart ElementSet
ObjectSetExtendableInTheMiddle ElementSet ElementSet

Instances

Eq ObjectSet Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectSet -> ObjectSet -> Bool # (/=) :: ObjectSet -> ObjectSet -> Bool #
Data ObjectSet Source #
Instance details Defined in Language.ASN1.Parser Methods 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 #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectSet -> ObjectSet -> Ordering # (<) :: ObjectSet -> ObjectSet -> Bool # (<=) :: ObjectSet -> ObjectSet -> Bool # (>) :: ObjectSet -> ObjectSet -> Bool # (>=) :: ObjectSet -> ObjectSet -> Bool # max :: ObjectSet -> ObjectSet -> ObjectSet # min :: ObjectSet -> ObjectSet -> ObjectSet #
Show ObjectSet Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectSet -> ShowS # show :: ObjectSet -> String # showList :: [ObjectSet] -> ShowS #

objectSetSpec :: ParsecT String () Identity ObjectSet Source #

data ObjectSetElements Source #

Constructors

ObjectElement Object
DefinedObjectSetElement DefinedObjectSet
ObjectSetFromObjectsElement ReferencedObjects FieldName

Instances

Eq ObjectSetElements Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ObjectSetElements -> ObjectSetElements -> Bool # (/=) :: ObjectSetElements -> ObjectSetElements -> Bool #
Data ObjectSetElements Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ObjectSetElements -> c ObjectSetElements # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ObjectSetElements # toConstr :: ObjectSetElements -> Constr # dataTypeOf :: ObjectSetElements -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ObjectSetElements) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ObjectSetElements) # gmapT :: (forall b. Data b => b -> b) -> ObjectSetElements -> ObjectSetElements # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetElements -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ObjectSetElements -> r # gmapQ :: (forall d. Data d => d -> u) -> ObjectSetElements -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ObjectSetElements -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ObjectSetElements -> m ObjectSetElements # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetElements -> m ObjectSetElements # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ObjectSetElements -> m ObjectSetElements #
Ord ObjectSetElements Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ObjectSetElements -> ObjectSetElements -> Ordering # (<) :: ObjectSetElements -> ObjectSetElements -> Bool # (<=) :: ObjectSetElements -> ObjectSetElements -> Bool # (>) :: ObjectSetElements -> ObjectSetElements -> Bool # (>=) :: ObjectSetElements -> ObjectSetElements -> Bool # max :: ObjectSetElements -> ObjectSetElements -> ObjectSetElements # min :: ObjectSetElements -> ObjectSetElements -> ObjectSetElements #
Show ObjectSetElements Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ObjectSetElements -> ShowS # show :: ObjectSetElements -> String # showList :: [ObjectSetElements] -> ShowS #

objectSetElements :: ParsecT String () Identity ObjectSetElements Source #

objectClassFieldType :: ParsecT [Char] u Identity BuiltinType Source #

objectClassFieldValue :: ParsecT [Char] () Identity Value Source #

openTypeFieldVal :: ParsecT [Char] () Identity Value Source #

fixedTypeFieldVal :: ParsecT [Char] () Identity Value Source #

valueFromObject :: ParsecT [Char] u Identity Value Source #

valueSetFromObjects :: ParsecT [Char] u Identity BuiltinType Source #

typeFromObject :: ParsecT [Char] u Identity BuiltinType Source #

objectFromObject :: ParsecT [Char] u Identity Object Source #

data ReferencedObjects Source #

Constructors

ReferencedObject DefinedObject
ReferencedObjectSet DefinedObjectSet

Instances

Eq ReferencedObjects Source #
Instance details Defined in Language.ASN1.Parser Methods (==) :: ReferencedObjects -> ReferencedObjects -> Bool # (/=) :: ReferencedObjects -> ReferencedObjects -> Bool #
Data ReferencedObjects Source #
Instance details Defined in Language.ASN1.Parser Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ReferencedObjects -> c ReferencedObjects # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ReferencedObjects # toConstr :: ReferencedObjects -> Constr # dataTypeOf :: ReferencedObjects -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ReferencedObjects) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ReferencedObjects) # gmapT :: (forall b. Data b => b -> b) -> ReferencedObjects -> ReferencedObjects # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ReferencedObjects -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ReferencedObjects -> r # gmapQ :: (forall d. Data d => d -> u) -> ReferencedObjects -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> ReferencedObjects -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> ReferencedObjects -> m ReferencedObjects # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferencedObjects -> m ReferencedObjects # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ReferencedObjects -> m ReferencedObjects #
Ord ReferencedObjects Source #
Instance details Defined in Language.ASN1.Parser Methods compare :: ReferencedObjects -> ReferencedObjects -> Ordering # (<) :: ReferencedObjects -> ReferencedObjects -> Bool # (<=) :: ReferencedObjects -> ReferencedObjects -> Bool # (>) :: ReferencedObjects -> ReferencedObjects -> Bool # (>=) :: ReferencedObjects -> ReferencedObjects -> Bool # max :: ReferencedObjects -> ReferencedObjects -> ReferencedObjects # min :: ReferencedObjects -> ReferencedObjects -> ReferencedObjects #
Show ReferencedObjects Source #
Instance details Defined in Language.ASN1.Parser Methods showsPrec :: Int -> ReferencedObjects -> ShowS # show :: ReferencedObjects -> String # showList :: [ReferencedObjects] -> ShowS #

referencedObjects :: ParsecT [Char] u Identity ReferencedObjects Source #

instanceOfType :: ParsecT String u Identity BuiltinType Source #

instanceOfValue :: ParsecT [Char] () Identity Value Source #

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

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]

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)