Modulecrypton-asn1-parse-0.10.0Haskell98

Data.ASN1.Parse

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

1 type
12 values

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

newtypenewtype ParseASN1 a

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

3 declarations

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

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

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

Throw a parse error.

Combinators

9 declarations

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

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

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]

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])

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

valuegetNext :: ParseASN1 ASN1

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

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

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

valuehasNext :: ParseASN1 Bool

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

valuegetObject :: ASN1Object a => ParseASN1 a

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]

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