Moduleghc-experimental-10.0.0Haskell2010

GHC.TypeLits.Experimental

valueappendSSymbol :: SSymbol a -> SSymbol b -> SSymbol (AppendSymbol a b)

valueconsSSymbol :: SChar a -> SSymbol b -> SSymbol (ConsSymbol a b)

valuesCharToSNat :: SChar a -> SNat (CharToNat a)

valuesNatToSChar :: n <= 1114111 => SNat n -> SChar (NatToChar n)