Documentation

appendSSymbol :: forall (a :: Symbol) (b :: Symbol). SSymbol a -> SSymbol b -> SSymbol (AppendSymbol a b) Source #

consSSymbol :: forall (a :: Char) (b :: Symbol). SChar a -> SSymbol b -> SSymbol (ConsSymbol a b) Source #

sCharToSNat :: forall (a :: Char). SChar a -> SNat (CharToNat a) Source #

sNatToSChar :: forall (n :: Natural). n <= 1114111 => SNat n -> SChar (NatToChar n) Source #