convert-1.5.1: Safe and unsafe data conversion utilities with strong type-level operation. checking.

Safe HaskellNone
LanguageHaskell2010

Data.Convert2.TH

Documentation

maxKind :: Int Source #

appsT :: Foldable f => Type -> f Type -> Type Source #

showIfNot0 :: Int -> String Source #

ixedName :: String -> Int -> String Source #

ixedName' :: String -> Int -> String Source #

src :: Name Source #

tgt :: Name Source #

type IString = Int -> String Source #

swap :: (a, b) -> (b, a) Source #

genConvertibleClass :: Bool -> IString -> IString -> Int -> Dec Source #

genHigherKindDefInstance :: IString -> IString -> Int -> Dec Source #

genIdConversionErrorInstance :: IString -> IString -> Int -> Dec Source #

genConvertibleClasses :: Bool -> IString -> IString -> Q [Dec] Source #

genHigherKindDefInstances :: IString -> IString -> Q [Dec] Source #

genIdConversionErrorInstances :: IString -> IString -> Q [Dec] Source #