Data.Serialize.Describe.Combinators.FText

Documentation

ftext :: (MonadTrans m, forall x. Monad x => Monad (m x)) => Int -> (s -> Text) -> DescriptorM m s Text

A fixed text descriptor which reads a fixed amount of bytes, discarding all trailing '\0' characters. Upon serializing, the text will either be truncated to the specified fixed length, or padded with '\0' characters to meet it.

newtype KnownNat n => FText n

Type-level variant of ftext.

Constructors

FText

Fields

• unwrapFText :: Text

Instances

Show (FText n)

Defined in Data.Serialize.Describe.Combinators.FText

Methods

showsPrec :: Int -> FText n -> ShowS

show :: FText n -> String

showList :: [FText n] -> ShowS

KnownNat n => IsString (FText n)

Defined in Data.Serialize.Describe.Combinators.FText

Methods

fromString :: String -> FText n

KnownNat n => Describe (FText n)

Defined in Data.Serialize.Describe.Combinators.FText

Associated Types

type Context m (FText n) :: Constraint

Methods

describe :: (MonadTrans m, forall (x :: Type -> Type). Monad x => Monad (m x), Context m (FText n)) => DescriptorM m (FText n) (FText n)

type Context m (FText n)

Defined in Data.Serialize.Describe.Combinators.FText

type Context m (FText n) = ()