ghc-experimental-9.1300.0: Experimental features of GHC's standard library
Safe HaskellSafe-Inferred
LanguageHaskell2010

GHC.TypeLits.Experimental

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 #