Documentation

toEncStringF :: forall nm f a str. ToEncString f nm nm a str => a -> f (Enc '[nm] () str) Source #

toEncStringF' :: forall alg nm f a str. ToEncString f nm alg a str => a -> f (Enc '[nm] () str) Source #

toEncString :: forall nm a str. ToEncString Identity nm nm a str => a -> Enc '[nm] () str Source #

toEncString' :: forall alg nm a str. ToEncString Identity nm alg a str => a -> Enc '[nm] () str Source #

fromEncStringF :: forall nm f a str. FromEncString f nm nm a str => Enc '[nm] () str -> f a Source #

fromEncStringF' :: forall alg nm f a str. FromEncString f nm alg a str => Enc '[nm] () str -> f a Source #

fromEncString :: forall nm a str. FromEncString Identity nm nm a str => Enc '[nm] () str -> a Source #

fromEncString' :: forall alg nm a str. FromEncString Identity nm alg a str => Enc '[nm] () str -> a Source #