Skip to content

Commit f9641fb

Browse files
bladyjokerbladyjoker
authored
Merge pull request #74 from mlabs-haskell/bladyjoker/frontend
Frontend: Class definitions and rules
2 parents 5a9803d + a9d9fb9 commit f9641fb

File tree

21 files changed

+9319
-4163
lines changed

21 files changed

+9319
-4163
lines changed

‎lambda-buffers-codegen/data/goldens/autogen/LambdaBuffers/LambdaBuffers.hs‎

Lines changed: 75 additions & 64 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,6 @@ module LambdaBuffers.LambdaBuffers (ClassConstraint
99
, Derive
1010
, Field
1111
, FieldName
12-
, Foo
1312
, InstanceClause
1413
, Kind
1514
, Module
@@ -27,7 +26,6 @@ module LambdaBuffers.LambdaBuffers (ClassConstraint
2726
, VarName) where
2827

2928
import qualified LambdaBuffers.Prelude
30-
import qualified PlutusTx
3129
import qualified Prelude
3230

3331
data ClassConstraint = MkClassConstraint { classConstraint'class :: ClassRef
@@ -47,7 +45,6 @@ data Constructor = MkConstructor { constructor'name :: ConstrName
4745
newtype Derive = MkDerive Constraint
4846
data Field = MkField { field'name :: FieldName, field'ty :: Ty}
4947
newtype FieldName = MkFieldName LambdaBuffers.Prelude.Text
50-
data Foo a b c = Foo'Bar a b c | Foo'Baz a b c | Foo'Bax a b c
5148
data InstanceClause = MkInstanceClause { instanceClause'head :: Constraint
5249
, instanceClause'body :: LambdaBuffers.Prelude.List Constraint}
5350
data Kind = Kind'Type | Kind'Arrow Kind Kind
@@ -73,24 +70,50 @@ newtype TyName = MkTyName LambdaBuffers.Prelude.Text
7370
data TyRef = TyRef'Local TyName | TyRef'Foreign ModuleName TyName
7471
newtype VarName = MkVarName LambdaBuffers.Prelude.Text
7572

76-
instance (Prelude.Eq a,Prelude.Eq b,Prelude.Eq c) => Prelude.Eq (Foo a
77-
b
78-
c) where
73+
instance Prelude.Eq Kind where
7974
(==) = (\x0 -> (\x1 -> case x0 of
80-
Foo'Bar x2 x3 x4 -> case x1 of
81-
Foo'Bar x5 x6 x7 -> (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x5))) (((Prelude.==) x3) x6))) (((Prelude.==) x4) x7))
82-
Foo'Baz x8 x9 x10 -> Prelude.False
83-
Foo'Bax x11 x12 x13 -> Prelude.False
84-
Foo'Baz x14 x15 x16 -> case x1 of
85-
Foo'Bar x17 x18 x19 -> Prelude.False
86-
Foo'Baz x20 x21 x22 -> (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) x14) x20))) (((Prelude.==) x15) x21))) (((Prelude.==) x16) x22))
87-
Foo'Bax x23 x24 x25 -> Prelude.False
88-
Foo'Bax x26 x27 x28 -> case x1 of
89-
Foo'Bar x29 x30 x31 -> Prelude.False
90-
Foo'Baz x32 x33 x34 -> Prelude.False
91-
Foo'Bax x35 x36 x37 -> (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) x26) x35))) (((Prelude.==) x27) x36))) (((Prelude.==) x28) x37)) ) )
92-
instance Prelude.Eq Module where
93-
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (module'name x0)) (module'name x1)))) (((Prelude.==) (module'tyDefs x0)) (module'tyDefs x1)))) (((Prelude.==) (module'classDefs x0)) (module'classDefs x1)))) (((Prelude.==) (module'ruleImports x0)) (module'ruleImports x1)))) (((Prelude.==) (module'instanceClauses x0)) (module'instanceClauses x1)))) (((Prelude.==) (module'derives x0)) (module'derives x1))) ) )
75+
Kind'Type -> case x1 of
76+
Kind'Type -> Prelude.True
77+
Kind'Arrow x2 x3 -> Prelude.False
78+
Kind'Arrow x4 x5 -> case x1 of
79+
Kind'Type -> Prelude.False
80+
Kind'Arrow x6 x7 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) x4) x6))) (((Prelude.==) x5) x7)) ) )
81+
instance Prelude.Eq Ty where
82+
(==) = (\x0 -> (\x1 -> case x0 of
83+
Ty'App x2 x3 -> case x1 of
84+
Ty'App x4 x5 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x4))) (((Prelude.==) x3) x5))
85+
Ty'Var x6 -> Prelude.False
86+
Ty'Ref x7 -> Prelude.False
87+
Ty'Var x8 -> case x1 of
88+
Ty'App x9 x10 -> Prelude.False
89+
Ty'Var x11 -> (((Prelude.&&) Prelude.True) (((Prelude.==) x8) x11))
90+
Ty'Ref x12 -> Prelude.False
91+
Ty'Ref x13 -> case x1 of
92+
Ty'App x14 x15 -> Prelude.False
93+
Ty'Var x16 -> Prelude.False
94+
Ty'Ref x17 -> (((Prelude.&&) Prelude.True) (((Prelude.==) x13) x17)) ) )
95+
instance Prelude.Eq TyAbs where
96+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (tyAbs'args x0)) (tyAbs'args x1)))) (((Prelude.==) (tyAbs'body x0)) (tyAbs'body x1))) ) )
97+
instance Prelude.Eq TyArg where
98+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (tyArg'name x0)) (tyArg'name x1)))) (((Prelude.==) (tyArg'kind x0)) (tyArg'kind x1))) ) )
99+
instance Prelude.Eq TyDef where
100+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (tyDef'name x0)) (tyDef'name x1)))) (((Prelude.==) (tyDef'abs x0)) (tyDef'abs x1))) ) )
101+
instance Prelude.Eq TyBody where
102+
(==) = (\x0 -> (\x1 -> case x0 of
103+
TyBody'Opaque -> case x1 of
104+
TyBody'Opaque -> Prelude.True
105+
TyBody'Sum x2 -> Prelude.False
106+
TyBody'Sum x3 -> case x1 of
107+
TyBody'Opaque -> Prelude.False
108+
TyBody'Sum x4 -> (((Prelude.&&) Prelude.True) (((Prelude.==) x3) x4)) ) )
109+
instance Prelude.Eq Constructor where
110+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (constructor'name x0)) (constructor'name x1)))) (((Prelude.==) (constructor'product x0)) (constructor'product x1))) ) )
111+
instance Prelude.Eq Product where
112+
(==) = (\x0 -> (\x1 -> let MkProduct x2 = x0 in let MkProduct x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
113+
instance Prelude.Eq Record where
114+
(==) = (\x0 -> (\x1 -> let MkRecord x2 = x0 in let MkRecord x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
115+
instance Prelude.Eq Field where
116+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (field'name x0)) (field'name x1)))) (((Prelude.==) (field'ty x0)) (field'ty x1))) ) )
94117
instance Prelude.Eq TyRef where
95118
(==) = (\x0 -> (\x1 -> case x0 of
96119
TyRef'Local x2 -> case x1 of
@@ -99,51 +122,39 @@ instance Prelude.Eq TyRef where
99122
TyRef'Foreign x6 x7 -> case x1 of
100123
TyRef'Local x8 -> Prelude.False
101124
TyRef'Foreign x9 x10 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) x6) x9))) (((Prelude.==) x7) x10)) ) )
102-
instance Prelude.Eq ModuleName where
103-
(==) = (\x0 -> (\x1 -> let MkModuleName x2 = x0 in let MkModuleName x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
104-
instance Prelude.Eq ModuleNamePart where
105-
(==) = (\x0 -> (\x1 -> let MkModuleNamePart x2 = x0 in let MkModuleNamePart x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
125+
instance Prelude.Eq ClassDef where
126+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (classDef'name x0)) (classDef'name x1)))) (((Prelude.==) (classDef'args x0)) (classDef'args x1)))) (((Prelude.==) (classDef'supers x0)) (classDef'supers x1))) ) )
127+
instance Prelude.Eq ClassConstraint where
128+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (classConstraint'class x0)) (classConstraint'class x1)))) (((Prelude.==) (classConstraint'args x0)) (classConstraint'args x1))) ) )
129+
instance Prelude.Eq InstanceClause where
130+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (instanceClause'head x0)) (instanceClause'head x1)))) (((Prelude.==) (instanceClause'body x0)) (instanceClause'body x1))) ) )
131+
instance Prelude.Eq Derive where
132+
(==) = (\x0 -> (\x1 -> let MkDerive x2 = x0 in let MkDerive x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
133+
instance Prelude.Eq Constraint where
134+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (constraint'class x0)) (constraint'class x1)))) (((Prelude.==) (constraint'args x0)) (constraint'args x1))) ) )
135+
instance Prelude.Eq ClassRef where
136+
(==) = (\x0 -> (\x1 -> case x0 of
137+
ClassRef'Local x2 -> case x1 of
138+
ClassRef'Local x3 -> (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3))
139+
ClassRef'Foreign x4 x5 -> Prelude.False
140+
ClassRef'Foreign x6 x7 -> case x1 of
141+
ClassRef'Local x8 -> Prelude.False
142+
ClassRef'Foreign x9 x10 -> (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) x6) x9))) (((Prelude.==) x7) x10)) ) )
143+
instance Prelude.Eq Module where
144+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) (((Prelude.&&) Prelude.True) (((Prelude.==) (module'name x0)) (module'name x1)))) (((Prelude.==) (module'tyDefs x0)) (module'tyDefs x1)))) (((Prelude.==) (module'classDefs x0)) (module'classDefs x1)))) (((Prelude.==) (module'ruleImports x0)) (module'ruleImports x1)))) (((Prelude.==) (module'instanceClauses x0)) (module'instanceClauses x1)))) (((Prelude.==) (module'derives x0)) (module'derives x1))) ) )
145+
instance Prelude.Eq CompilerInput where
146+
(==) = (\x0 -> (\x1 -> (((Prelude.&&) Prelude.True) (((Prelude.==) (compilerInput'modules x0)) (compilerInput'modules x1))) ) )
106147
instance Prelude.Eq TyName where
107148
(==) = (\x0 -> (\x1 -> let MkTyName x2 = x0 in let MkTyName x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
108149
instance Prelude.Eq VarName where
109150
(==) = (\x0 -> (\x1 -> let MkVarName x2 = x0 in let MkVarName x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
110-
instance (PlutusTx.ToData a
111-
,PlutusTx.ToData b
112-
,PlutusTx.ToData c) => PlutusTx.ToData (Foo a b c) where
113-
toBuiltinData = (Prelude..) PlutusTx.dataToBuiltinData
114-
(\x0 -> case x0 of
115-
Foo'Bar x1 x2 x3 -> ((PlutusTx.Constr 0) [(PlutusTx.toData x1)
116-
,(PlutusTx.toData x2)
117-
,(PlutusTx.toData x3)])
118-
Foo'Baz x4 x5 x6 -> ((PlutusTx.Constr 1) [(PlutusTx.toData x4)
119-
,(PlutusTx.toData x5)
120-
,(PlutusTx.toData x6)])
121-
Foo'Bax x7 x8 x9 -> ((PlutusTx.Constr 2) [(PlutusTx.toData x7)
122-
,(PlutusTx.toData x8)
123-
,(PlutusTx.toData x9)]) )
124-
instance PlutusTx.ToData Module where
125-
toBuiltinData = (Prelude..) PlutusTx.dataToBuiltinData
126-
(\x0 -> (PlutusTx.List [(PlutusTx.toData (module'name x0))
127-
,(PlutusTx.toData (module'tyDefs x0))
128-
,(PlutusTx.toData (module'classDefs x0))
129-
,(PlutusTx.toData (module'ruleImports x0))
130-
,(PlutusTx.toData (module'instanceClauses x0))
131-
,(PlutusTx.toData (module'derives x0))]) )
132-
instance PlutusTx.ToData TyRef where
133-
toBuiltinData = (Prelude..) PlutusTx.dataToBuiltinData
134-
(\x0 -> case x0 of
135-
TyRef'Local x1 -> ((PlutusTx.Constr 0) [(PlutusTx.toData x1)])
136-
TyRef'Foreign x2 x3 -> ((PlutusTx.Constr 1) [(PlutusTx.toData x2)
137-
,(PlutusTx.toData x3)]) )
138-
instance PlutusTx.ToData ModuleName where
139-
toBuiltinData = (Prelude..) PlutusTx.dataToBuiltinData
140-
(\x0 -> let MkModuleName x1 = x0 in (PlutusTx.toData x1) )
141-
instance PlutusTx.ToData ModuleNamePart where
142-
toBuiltinData = (Prelude..) PlutusTx.dataToBuiltinData
143-
(\x0 -> let MkModuleNamePart x1 = x0 in (PlutusTx.toData x1) )
144-
instance PlutusTx.ToData TyName where
145-
toBuiltinData = (Prelude..) PlutusTx.dataToBuiltinData
146-
(\x0 -> let MkTyName x1 = x0 in (PlutusTx.toData x1) )
147-
instance PlutusTx.ToData VarName where
148-
toBuiltinData = (Prelude..) PlutusTx.dataToBuiltinData
149-
(\x0 -> let MkVarName x1 = x0 in (PlutusTx.toData x1) )
151+
instance Prelude.Eq ConstrName where
152+
(==) = (\x0 -> (\x1 -> let MkConstrName x2 = x0 in let MkConstrName x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
153+
instance Prelude.Eq FieldName where
154+
(==) = (\x0 -> (\x1 -> let MkFieldName x2 = x0 in let MkFieldName x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
155+
instance Prelude.Eq ModuleName where
156+
(==) = (\x0 -> (\x1 -> let MkModuleName x2 = x0 in let MkModuleName x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
157+
instance Prelude.Eq ModuleNamePart where
158+
(==) = (\x0 -> (\x1 -> let MkModuleNamePart x2 = x0 in let MkModuleNamePart x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )
159+
instance Prelude.Eq ClassName where
160+
(==) = (\x0 -> (\x1 -> let MkClassName x2 = x0 in let MkClassName x3 = x1 in (((Prelude.&&) Prelude.True) (((Prelude.==) x2) x3)) ) )

‎lambda-buffers-codegen/data/goldens/autogen/LambdaBuffers/Plutus.hs‎

Lines changed: 0 additions & 6 deletions
This file was deleted.

0 commit comments

Comments
 (0)