symbol-parser-0.1.0: Type level string parser combinators
Safe HaskellSafe-Inferred
LanguageGHC2021

Data.Type.Symbol

Synopsis

Documentation

type Length sym = Length' 0 (UnconsSymbol sym) Source #

Get the length of a symbol.

type family Length' len mchsym where ... Source #

Equations

Length' len 'Nothing = len 
Length' len ('Just '(_, sym)) = Length' (len + 1) (UnconsSymbol sym)