typist-0.1.0.1: Typelevel printf
Safe HaskellSafe-Inferred
LanguageHaskell2010

Typist

Synopsis

Documentation

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

Equations

Format str = ContFormat 0 (UnconsSymbol str) 

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

See usage example next to #= at Typist.TextShow

data Rec as where Source #

Constructors

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

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

Constructors

Arg Builder 

Instances

Instances details
(Interpolate args, KnownNat i) => Interpolate (Arg i n ': args) Source # 
Instance details

Defined in Typist.Internal.Format

Methods

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