binrep-1.0.0: Encode precise binary representations directly in types

Safe Haskell	None
Language	GHC2021

Binrep.Type.Text.Encoding.Utf8

Documentation

data Utf8 Source #

Instances

Instances details

Decode Utf8 Source #

Instance details

Defined in Binrep.Type.Text.Encoding.Utf8

Methods

decode :: Bytes -> Either String (AsText Utf8) Source #

Encode Utf8 Source #

Instance details

Defined in Binrep.Type.Text.Encoding.Utf8

Methods

encode' :: Text -> Bytes Source #

Predicate Utf8 Source #

Instance details

Defined in Binrep.Type.Text.Encoding.Utf8

Associated Types

type PredicateName d Utf8
Instance details Defined in Binrep.Type.Text.Encoding.Utf8 type PredicateName d Utf8 = "UTF-8"

Refine Utf8 Text Source #

Any Text value is always valid UTF-8.

Instance details

Defined in Binrep.Type.Text.Encoding.Utf8

Methods

validate :: Proxy# Utf8 -> Text -> Maybe RefineFailure #

type PredicateName d Utf8 Source #

Instance details

Defined in Binrep.Type.Text.Encoding.Utf8

type PredicateName d Utf8 = "UTF-8"