derive-2.6.4: 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 (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Output) #
dataCast2 :: Typeable (* -> * -> *) 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 :: (Typeable * a2, Typeable * a1) => a1 -> a2 Source #
readCon :: DataType -> [Char] -> Constr Source #
out :: Data a => a -> Output Source #
fromState :: State a x -> x Source #
module Language.Haskell