Commit 70c45e29 authored by Camil Staps's avatar Camil Staps 🐧

Fix gDefault

parent e9d1006a
Pipeline #9388 passed with stage
in 1 minute and 49 seconds
......@@ -2,8 +2,8 @@ definition module Data.Generics.GenDefault
import StdGeneric
generic gDefault a :: a
generic gDefault a :: a
derive gDefault Int, Real, String, UNIT, PAIR, EITHER, CONS, FIELD, OBJECT, RECORD
derive gDefault (), [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
derive gDefault [], [!], [ !], [!!], {}, {!}
derive gDefault (), (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
implementation module Data.Generics.GenDefault
//import StdClass, StdArray, StdInt, StdFunc
import StdArray
import StdGeneric
generic gDefault a :: a
generic gDefault a :: a
gDefault{|Int|} = 0
gDefault{|Real|} = 0.0
gDefault{|String|} = ""
gDefault{|[]|} _ = []
gDefault{|[!]|} _ = [!]
gDefault{|[ !]|} _ = [ !]
gDefault{|[!!]|} _ = [!!]
gDefault{|{}|} _ = {}
gDefault{|{!}|} _ = {!}
gDefault{|UNIT|} = UNIT
gDefault{|EITHER|} dl dr = LEFT dl
gDefault{|PAIR|} dl dr = PAIR dl dr
gDefault{|CONS|} dc = CONS dc
gDefault{|FIELD|} df = FIELD df
gDefault{|OBJECT|} do = OBJECT do
gDefault{|RECORD|} dr = RECORD dr
gDefault{|Int|} = 0
gDefault{|Real|} = 0.0
gDefault{|String|} = ""
gDefault{|UNIT|} = UNIT
gDefault{|EITHER|} dl dr = LEFT dl
gDefault{|PAIR|} dl dr = PAIR dl dr
gDefault{|CONS|} dc = CONS dc
gDefault{|FIELD|} df = FIELD df
gDefault{|OBJECT|} do = OBJECT do
gDefault{|RECORD|} do = RECORD do
derive gDefault (), [], (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
derive gDefault (), (,), (,,), (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment