| |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
Description | |||||||||||||||||||||||||||||||||||||||||||||||||
A module containing raw ASN1 serialization/derialization tools | |||||||||||||||||||||||||||||||||||||||||||||||||
Synopsis | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
Documentation | |||||||||||||||||||||||||||||||||||||||||||||||||
data GetErr a | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
get structure | |||||||||||||||||||||||||||||||||||||||||||||||||
runGetErr :: GetErr a -> ByteString -> Either ASN1Err a | |||||||||||||||||||||||||||||||||||||||||||||||||
runGetErrInGet :: GetErr a -> Get (Either ASN1Err a) | |||||||||||||||||||||||||||||||||||||||||||||||||
ASN1 definitions | |||||||||||||||||||||||||||||||||||||||||||||||||
data ASN1Err | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
type CheckFn = (TagClass, Bool, TagNumber) -> ValLength -> Maybe ASN1Err | |||||||||||||||||||||||||||||||||||||||||||||||||
data TagClass | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
type TagNumber = Int | |||||||||||||||||||||||||||||||||||||||||||||||||
data ValLength | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
data ValStruct | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
data Value | |||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||
get value from a Get structure | |||||||||||||||||||||||||||||||||||||||||||||||||
getValueCheck :: CheckFn -> GetErr Value | |||||||||||||||||||||||||||||||||||||||||||||||||
getValueCheck decode an ASN1 value and check the values received through the check fn | |||||||||||||||||||||||||||||||||||||||||||||||||
getValue :: GetErr Value | |||||||||||||||||||||||||||||||||||||||||||||||||
put value in a Put structure | |||||||||||||||||||||||||||||||||||||||||||||||||
putValuePolicy :: (Value -> Int -> ValLength) -> Value -> Put | |||||||||||||||||||||||||||||||||||||||||||||||||
putValue :: Value -> Put | |||||||||||||||||||||||||||||||||||||||||||||||||
putValue encode an ASN1 value using the shortest definite length | |||||||||||||||||||||||||||||||||||||||||||||||||
Produced by Haddock version 2.7.2 |