Typist

Documentation

type family Format (str :: Symbol) where ...

Equations

Format str = ContFormat 0 (UnconsSymbol str)

fmt :: forall str. (KnownSymbol str, Interpolate (Format str)) => (Rec '[] -> Rec (Format str)) -> Builder

See usage example next to #= at Typist.TextShow

data Rec as where

Constructors

RNil :: Rec '[]

(:&) :: Arg n s -> Rec ns -> Rec (Arg n s ': ns)

newtype Arg (n :: Nat) (s :: Symbol)

Constructors

Arg Builder

Instances

(Interpolate args, KnownNat i) => Interpolate (Arg i n ': args)

Defined in Typist.Internal.Format

Methods

interpolate :: Rec (Arg i n ': args) -> Int -> String -> Builder -> Builder