Safe Haskell	Safe-Inferred
Language	Haskell2010

Asn.Resolve

Contents

Combinators
Error Breadcrumbs
Re-Exports

Description

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.

Synopsis

data Parser a
run :: Parser a -> Either Path a
data MemberParser a
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
data Path
- = Nil
- | Index !Int !Path
- | Tag !Class !Word32 !Path
data Value
data Contents
data Class
- = Universal
- | Application
- | ContextSpecific
- | Private

Documentation

data Parser a Source #

Instances

Instances details

Alternative Parser Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Asn.Resolve Methods fmap :: (a -> b) -> Parser a -> Parser b # (<$) :: a -> Parser b -> Parser a #
Monad Parser Source #
Instance details 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 Source #

data MemberParser a Source #

Instances

Instances details

Applicative MemberParser Source #
Instance details 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 Source #
Instance details Defined in Asn.Resolve Methods fmap :: (a -> b) -> MemberParser a -> MemberParser b # (<$) :: a -> MemberParser b -> MemberParser a #

Combinators

fail :: Parser a Source #

integer :: Value -> Parser Int64 Source #

octetString :: Value -> Parser Bytes Source #

null :: Value -> Parser () Source #

oid :: Value -> Parser Oid Source #

utf8String :: Value -> Parser ShortText Source #

printableString :: Value -> Parser ShortText Source #

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

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

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

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

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

Error Breadcrumbs

data Path Source #

Constructors

Nil
Index !Int !Path	into the nth field of a constructed type
Tag !Class !Word32 !Path	into a specific tag

Instances

Instances details

Show Path Source #
Instance details Defined in Asn.Resolve Methods showsPrec :: Int -> Path -> ShowS # show :: Path -> String # showList :: [Path] -> ShowS #
Eq Path Source #
Instance details Defined in Asn.Resolve Methods (==) :: Path -> Path -> Bool # (/=) :: Path -> Path -> Bool #

Re-Exports

data Value Source #

Instances

Instances details

Show Value Source #
Instance details Defined in Asn.Ber Methods showsPrec :: Int -> Value -> ShowS # show :: Value -> String # showList :: [Value] -> ShowS #
Eq Value Source #
Instance details Defined in Asn.Ber Methods (==) :: Value -> Value -> Bool # (/=) :: Value -> Value -> Bool #

data Contents Source #

Instances

Instances details

Show Contents Source #
Instance details Defined in Asn.Ber Methods showsPrec :: Int -> Contents -> ShowS # show :: Contents -> String # showList :: [Contents] -> ShowS #
Eq Contents Source #
Instance details Defined in Asn.Ber Methods (==) :: Contents -> Contents -> Bool # (/=) :: Contents -> Contents -> Bool #

data Class Source #

Constructors

Universal
Application
ContextSpecific
Private

Instances

Instances details

Show Class Source #
Instance details Defined in Asn.Ber Methods showsPrec :: Int -> Class -> ShowS # show :: Class -> String # showList :: [Class] -> ShowS #
Eq Class Source #
Instance details Defined in Asn.Ber Methods (==) :: Class -> Class -> Bool # (/=) :: Class -> Class -> Bool #