Safe Haskell	Safe-Inferred
Language	Haskell2010

Typist

Synopsis

type family Format (str :: Symbol) where ...
fmt :: forall str. (KnownSymbol str, Interpolate (Format str)) => (Rec '[] -> Rec (Format str)) -> Builder
data Rec as where
- RNil :: Rec '[]
- (:&) :: Arg n s -> Rec ns -> Rec (Arg n s ': ns)
newtype Arg (n :: Nat) (s :: Symbol) = Arg Builder

Documentation

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

Equations

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

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 #