Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Asn.Resolve.Category
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 b
- run :: Parser a b -> a -> Either Path b
- arr :: (a -> Maybe b) -> Parser a b
- (>->) :: Parser a b -> Parser b c -> Parser a c
- fail :: Parser a b
- integer :: Parser Value Int64
- octetString :: Parser Value Bytes
- octetStringSingleton :: Parser Value Word8
- null :: Parser Value ()
- oid :: Parser Value Oid
- utf8String :: Parser Value ShortText
- printableString :: Parser Value ShortText
- sequenceOf :: forall a. Parser Value a -> Parser Value (SmallArray a)
- sequence :: Parser Value (SmallArray Value)
- index :: Int -> Parser (SmallArray a) a
- withTag :: Class -> Word32 -> Parser Value Value
- chooseTag :: [(Class, Word32, Parser Value a)] -> Parser Value a
- data Path
- data Value
- data Contents
- data Class
Documentation
Combinators
octetStringSingleton :: Parser Value Word8 Source #
Variant of octetString
that expects the OctetString
to have
exactly one byte. Returns the value of the byte.
sequenceOf :: forall a. Parser Value a -> Parser Value (SmallArray a) Source #
Error Breadcrumbs
Re-Exports
Constructors
Universal | |
Application | |
ContextSpecific | |
Private |