Typist.Internal.Format

Documentation

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

Equations

Format str = ContFormat 0 (UnconsSymbol str)

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

data Rec as where

Constructors

RNil :: Rec '[]

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

type family ContFormat (n :: Nat) (a :: Maybe (Char, Symbol)) where ...

Equations

ContFormat n ('Just '('\\', rest)) = SkipOne (n + 1) (UnconsSymbol rest)

ContFormat n ('Just '('#', rest)) = TryGetArg n (UnconsSymbol rest)

ContFormat n ('Just '(a, rest)) = ContFormat (n + 1) (UnconsSymbol rest)

ContFormat n 'Nothing = '[]

type family SkipOne (n :: Nat) (s :: Maybe (Char, Symbol)) where ...

Equations

SkipOne n 'Nothing = ContFormat n 'Nothing

SkipOne n ('Just '(a, rest)) = ContFormat (n + 1) (UnconsSymbol rest)

type family TryGetArg n rest where ...

Equations

TryGetArg n ('Just '('{', rest)) = Arg n (TakeName (UnconsSymbol rest)) ': ContFormat (n + 2) (UnconsSymbol (SkipName (UnconsSymbol rest)))

TryGetArg n 'Nothing = ContFormat n 'Nothing

TryGetArg n ('Just '(a, rest)) = ContFormat (n + 2) (UnconsSymbol rest)

type family TakeName (a :: Maybe (Char, Symbol)) :: Symbol where ...

Equations

TakeName ('Just '('}', rest)) = ""

TakeName ('Just '(a, rest)) = ConsSymbol a (TakeName (UnconsSymbol rest))

TakeName 'Nothing = TypeError ('Text "Expected '}' but EOF found. Close placeholder with '}'. Example: #{name}")

type family SkipName (a :: Maybe (Char, Symbol)) :: Symbol where ...

Equations

SkipName ('Just '('}', rest)) = rest

SkipName ('Just '(a, rest)) = SkipName (UnconsSymbol rest)

SkipName 'Nothing = ""

class Interpolate args where

Methods

interpolate :: Rec args -> Int -> String -> Builder -> Builder

Instances

Interpolate ('[] :: [Type])

Defined in Typist.Internal.Format

Methods

interpolate :: Rec '[] -> Int -> String -> Builder -> Builder

(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

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

See usage example next to #= at Typist.TextShow