Modulecrypton-asn1-parse-0.10.0Haskell98

Data.ASN1.Parse

A monadic parser combinator for a stream of ASN.1 items.

Contents

Run ParseASN1
Combinators

Synopsis

newtype ParseASN1
value runParseASN1State
value runParseASN1
value throwParseError
value onNextContainer
value onNextContainerMaybe
value getNextContainer
value getNextContainerMaybe
value getNext
value getNextMaybe
value hasNext
value getObject
value getMany

Packagecrypton-asn1-parse-0.10.0
Exports13
LanguageHaskell98
LicenceBSD-3-Clause
SourceParse.hs

newtypenewtype ParseASN1 a

Source#

Type representing a parser combinator for a stream of ASN.1 items.

Instances5Monad, Functor, MonadFail, Applicative, Alternative

Monad ParseASN1Defined in crypton-asn1-parse-0.10.0 · Data.ASN1.Parse
Functor ParseASN1Defined in crypton-asn1-parse-0.10.0 · Data.ASN1.Parse
MonadFail ParseASN1Defined in crypton-asn1-parse-0.10.0 · Data.ASN1.Parse
Applicative ParseASN1Defined in crypton-asn1-parse-0.10.0 · Data.ASN1.Parse
Alternative ParseASN1Defined in crypton-asn1-parse-0.10.0 · Data.ASN1.Parse

Run ParseASN1

valuerunParseASN1State :: ParseASN1 a -> [ASN1] -> Either String (a, [ASN1])

Source#

Run the given parse monad over the given list of ASN.1 items. Returns the result and a list of the ASN.1 items remaining in the stream (if successful).

valuerunParseASN1 :: ParseASN1 a -> [ASN1] -> Either String a

Source#

Run the given parse monad over the given list of ASN.1 items and returns the result (if successful).

If ASN.1 items remain in the stream after doing so, returns an error.

valuethrowParseError

:: String
Error message.
-> ParseASN1 a

Source#

Throw a parse error.

Combinators

valueonNextContainer :: ASN1ConstructionType -> ParseASN1 a -> ParseASN1 a

Source#

Run the parse monad over the elements of the next container of specified type. Throws an error if there is no next container of the specified type.

valueonNextContainerMaybe

Source#

As for onNextContainer, except that it does not throw an error if there is no next container of the specified type.

valuegetNextContainer :: ASN1ConstructionType -> ParseASN1 [ASN1]

Source#

Get the next container of the specified type and return a list of all its ASN.1 elements. Throws a parse error if there is no next container of the specified type.

valuegetNextContainerMaybe :: ASN1ConstructionType -> ParseASN1 (Maybe [ASN1])

Source#

As for getNextContainer, except that it does not throw an error if there is no next container of the specified type.

valuegetNext :: ParseASN1 ASN1

Source#

Get the next ASN.1 item in a stream of ASN.1 items.

valuegetNextMaybe :: (ASN1 -> Maybe a) -> ParseASN1 (Maybe a)

Source#

Applies the given function to the next ASN.1 item in a stream of ASN.1 items, if there is one.

valuehasNext :: ParseASN1 Bool

Source#

Are there any more ASN.1 items in the stream?

valuegetObject :: ASN1Object a => ParseASN1 a

Source#

Get the object from the next ASN.1 item in a stream of ASN.1 items. Throws a parse error if the object cannot be obtained from the item.

valuegetMany :: ParseASN1 a -> ParseASN1 [a]

Source#

Get many items from the stream until there are none left.