1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
module Data.Derive.Serial where
{-
import "smallcheck" Test.SmallCheck
example :: Sample
instance Serial a => Serial (Sample a) where
series = cons0 First \/
cons2 Second \/
cons1 Third
coseries rs d = [ \t -> case t of
First -> t0
Second x1 x2 -> t1 x1 x2
Third x1 -> t2 x1
| t0 <- alts0 rs d `const` First{}
, t1 <- alts2 rs d `const` Second{}
, t2 <- alts1 rs d `const` Third{}
]
-}
-- GENERATED START
import Data.Derive.DSL.DSL
import Data.Derive.Internal.Derivation
makeSerial :: Derivation
makeSerial = derivationDSL "Serial" dslSerial
dslSerial =
List [Instance ["Serial"] "Serial" (List [App "InsDecl" (List [App
"PatBind" (List [App "PVar" (List [App "Ident" (List [String
"series"])]),App "Nothing" (List []),App "UnGuardedRhs" (List [
Fold (App "InfixApp" (List [Tail,App "QVarOp" (List [App "UnQual"
(List [App "Symbol" (List [String "\\/"])])]),Head])) (Reverse (
MapCtor (App "App" (List [App "Var" (List [App "UnQual" (List [App
"Ident" (List [Concat (List [String "cons",ShowInt CtorArity])])])
]),App "Con" (List [App "UnQual" (List [App "Ident" (List [
CtorName])])])]))))]),App "BDecls" (List [List []])])]),App
"InsDecl" (List [App "FunBind" (List [List [App "Match" (List [App
"Ident" (List [String "coseries"]),List [App "PVar" (List [App
"Ident" (List [String "rs"])]),App "PVar" (List [App "Ident" (List
[String "d"])])],App "Nothing" (List []),App "UnGuardedRhs" (List
[App "ListComp" (List [App "Lambda" (List [List [App "PVar" (List
[App "Ident" (List [String "t"])])],App "Case" (List [App "Var" (
List [App "UnQual" (List [App "Ident" (List [String "t"])])]),
MapCtor (App "Alt" (List [App "PApp" (List [App "UnQual" (List [
App "Ident" (List [CtorName])]),MapField (App "PVar" (List [App
"Ident" (List [Concat (List [String "x",ShowInt FieldIndex])])]))]
),App "UnGuardedAlt" (List [Application (Concat (List [List [App
"Var" (List [App "UnQual" (List [App "Ident" (List [Concat (List [
String "t",ShowInt CtorIndex])])])])],MapField (App "Var" (List [
App "UnQual" (List [App "Ident" (List [Concat (List [String "x",
ShowInt FieldIndex])])])]))]))]),App "BDecls" (List [List []])]))]
)]),MapCtor (App "QualStmt" (List [App "Generator" (List [App
"PVar" (List [App "Ident" (List [Concat (List [String "t",ShowInt
CtorIndex])])]),App "InfixApp" (List [Application (List [App "Var"
(List [App "UnQual" (List [App "Ident" (List [Concat (List [String
"alts",ShowInt CtorArity])])])]),App "Var" (List [App "UnQual" (
List [App "Ident" (List [String "rs"])])]),App "Var" (List [App
"UnQual" (List [App "Ident" (List [String "d"])])])]),App "QVarOp"
(List [App "UnQual" (List [App "Ident" (List [String "const"])])])
,App "RecConstr" (List [App "UnQual" (List [App "Ident" (List [
CtorName])]),List []])])])]))])]),App "BDecls" (List [List []])])]
])])])]
-- GENERATED STOP
|
