Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Synopsis
- class (StringSuperset a, StringSuperset b) => StringSupersetConversion (a :: Type) (b :: Type) where
- convertStringUnsafe :: a -> b
- convertRefinedString :: StringSupersetConversion a b => ASCII a -> ASCII b
Class
class (StringSuperset a, StringSuperset b) => StringSupersetConversion (a :: Type) (b :: Type) where Source #
convertStringUnsafe :: a -> b Source #
Instances
Utilities
convertRefinedString :: StringSupersetConversion a b => ASCII a -> ASCII b Source #