Asn.Resolve

Transform between Haskell values and the Value type. The instance you write for ToAsn and FromAsn assume a schema. I (Eric) think this is reasonable because I expect each schema to be one-to-one with data types.

Documentation

data Parser a

Instances

Alternative Parser

Defined in Asn.Resolve

Methods

empty :: Parser a

(<|>) :: Parser a -> Parser a -> Parser a

some :: Parser a -> Parser [a]

many :: Parser a -> Parser [a]

Applicative Parser

Defined in Asn.Resolve

Methods

pure :: a -> Parser a

(<*>) :: Parser (a -> b) -> Parser a -> Parser b

liftA2 :: (a -> b -> c) -> Parser a -> Parser b -> Parser c

(*>) :: Parser a -> Parser b -> Parser b

(<*) :: Parser a -> Parser b -> Parser a

Functor Parser

Defined in Asn.Resolve

Methods

fmap :: (a -> b) -> Parser a -> Parser b

(<$) :: a -> Parser b -> Parser a

Monad Parser

Defined in Asn.Resolve

Methods

(>>=) :: Parser a -> (a -> Parser b) -> Parser b

(>>) :: Parser a -> Parser b -> Parser b

return :: a -> Parser a

run :: Parser a -> Either Path a

data MemberParser a

Instances

Applicative MemberParser

Defined in Asn.Resolve

Methods

pure :: a -> MemberParser a

(<*>) :: MemberParser (a -> b) -> MemberParser a -> MemberParser b

liftA2 :: (a -> b -> c) -> MemberParser a -> MemberParser b -> MemberParser c

(*>) :: MemberParser a -> MemberParser b -> MemberParser b

(<*) :: MemberParser a -> MemberParser b -> MemberParser a

Functor MemberParser

Defined in Asn.Resolve

Methods

fmap :: (a -> b) -> MemberParser a -> MemberParser b

(<$) :: a -> MemberParser b -> MemberParser a

Combinators

fail :: Parser a

integer :: Value -> Parser Int64

octetString :: Value -> Parser Bytes

null :: Value -> Parser ()

oid :: Value -> Parser Oid

utf8String :: Value -> Parser ShortText

printableString :: Value -> Parser ShortText

sequence :: MemberParser a -> Value -> Parser a

index :: Int -> (Value -> Parser a) -> MemberParser a

sequenceOf :: forall a. (Value -> Parser a) -> Value -> Parser (SmallArray a)

withTag :: Class -> Word32 -> (Value -> Parser a) -> Value -> Parser a

chooseTag :: [(Class, Word32, Value -> Parser a)] -> Value -> Parser a

Error Breadcrumbs

data Path

Constructors

Nil

Index !Int !Path

into the nth field of a constructed type

Tag !Class !Word32 !Path

into a specific tag

Instances

Show Path

Defined in Asn.Resolve

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

Eq Path

Defined in Asn.Resolve

Methods

(==) :: Path -> Path -> Bool

(/=) :: Path -> Path -> Bool

Re-Exports

data Value

Instances

Show Value

Defined in Asn.Ber

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Eq Value

Defined in Asn.Ber

Methods

(==) :: Value -> Value -> Bool

(/=) :: Value -> Value -> Bool

data Contents

Instances

Show Contents

Defined in Asn.Ber

Methods

showsPrec :: Int -> Contents -> ShowS

show :: Contents -> String

showList :: [Contents] -> ShowS

Eq Contents

Defined in Asn.Ber

Methods

(==) :: Contents -> Contents -> Bool

(/=) :: Contents -> Contents -> Bool

data Class

Constructors

Universal

Application

ContextSpecific

Private

Instances

Show Class

Defined in Asn.Ber

Methods

showsPrec :: Int -> Class -> ShowS

show :: Class -> String

showList :: [Class] -> ShowS

Eq Class

Defined in Asn.Ber

Methods

(==) :: Class -> Class -> Bool

(/=) :: Class -> Class -> Bool