derive-2.6.2: A program and library to derive instances for data types

Safe HaskellNone
LanguageHaskell2010

Language.Haskell

Documentation

(?) :: Bool -> a -> a -> a infix 1 #

foralls :: Type () -> Type () #

tyApps :: Type () -> [Type ()] -> Type () #

fromTyApps :: Type () -> (Type (), [Type ()]) #

fromTyTuple :: Type t -> [Type t] #

fromTyParen :: Type () -> Type () #

fromTyParens :: Type () -> Type () #

tyRoot :: Type () -> String #

isTyFun :: Type () -> Bool #

fromTyList :: Type t -> Maybe (Type t) #

(~=) :: Pretty a => a -> String -> Bool #

appP :: Exp () -> Exp () -> Exp () #

simplify :: Data a => a -> a #

rename :: QName () -> QName () #

isAtom :: Exp t -> Bool #

paren :: Exp () -> Exp () #

noSl :: Data from => from -> from #

isIdent :: [Char] -> Bool #

title :: [Char] -> [Char] #

qname :: String -> QName () #

var :: String -> Exp () #

con :: String -> Exp () #

tyVar :: String -> Type () #

tyCon :: String -> Type () #

pVar :: String -> Pat () #

qvop :: String -> QOp () #

type DataDecl = Decl () #

type FieldDecl = [(String, Type ())] #

moduleDecls :: Module t -> [Decl t] #

showDecls :: Pretty a => [a] -> String #

tyApp :: Type () -> [Type ()] -> Type () #

tyFun :: [Type ()] -> Type () #

apps :: Exp () -> [Exp ()] -> Exp () #

bind :: String -> [Pat ()] -> Exp () -> Decl () #

binds :: String -> [([Pat ()], Exp ())] -> Decl () #

fromInstHead :: InstHead a -> (QName a, [Type a]) #