derive-2.5.24: A program and library to derive instances for data types
Data.Derive.DSL.HSE
sample :: Input Source
outEq :: Out -> Out -> Bool Source
showOut :: Pretty a => [a] -> String Source
type Input = DataDecl Source
type Ctor = CtorDecl Source
dataName :: DataDecl -> String Source
dataVars :: DataDecl -> Int Source
dataCtors :: DataDecl -> [CtorDecl] Source
ctorName :: CtorDecl -> String Source
ctorArity :: CtorDecl -> Integer Source
ctorIndex :: Input -> Ctor -> Integer Source
toInput :: DataDecl -> Input Source
type Out = [Decl] Source
data Output Source
Constructors
Instances
Methods
(==) :: Output -> Output -> Bool
(/=) :: Output -> Output -> Bool
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Output -> c Output
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Output
toConstr :: Output -> Constr
dataTypeOf :: Output -> DataType
dataCast1 :: Typeable (TYPE Lifted -> TYPE Lifted) t => (forall d. Data d => c (t d)) -> Maybe (c Output)
dataCast2 :: Typeable (TYPE Lifted -> TYPE Lifted -> TYPE Lifted) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Output)
gmapT :: (forall b. Data b => b -> b) -> Output -> Output
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Output -> r
gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Output -> r
gmapQ :: (forall d. Data d => d -> u) -> Output -> [u]
gmapQi :: Int -> (forall d. Data d => d -> u) -> Output -> u
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Output -> m Output
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Output -> m Output
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Output -> m Output
showsPrec :: Int -> Output -> ShowS
show :: Output -> String
showList :: [Output] -> ShowS
toOutput :: Data a => a -> Output Source
fromOutput :: Data a => Output -> a Source
coerce :: (?callStack :: CallStack, Typeable (TYPE Lifted) a1, Typeable (TYPE Lifted) a) => a1 -> a Source
readCon :: (?callStack :: CallStack) -> DataType -> [Char] -> Constr Source
out :: Data a => a -> Output Source
fromState :: State a x -> x Source
module Language.Haskell