msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Transfer prelude: added missing type arguments to some type classes.

Browse Source
This commit is contained in:
bringert
2006-03-15 16:48:35 +00:00
parent 28606fccd2
commit 628acf267b
1 changed files with 19 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
transfer/lib/prelude.tra
View File

@@ -235,7 +235,7 @@ monad_Maybe =
--
Num : Type -> Type
Num = sig zero : A
Num A = sig zero : A
plus : A -> A -> A
minus : A -> A -> A
one : A
@@ -254,7 +254,7 @@ Num = sig zero : A
--
Add : Type -> Type
Add = sig zero : A
Add A = sig zero : A
plus : A -> A -> A
zero : (A : Type) -> Add A -> A
@@ -296,7 +296,7 @@ minus _ d = d.minus
--
Mul : Type -> Type
Mul = sig one : A
Mul A = sig one : A
times : A -> A -> A
one : (A : Type) -> Mul A -> A
@@ -322,7 +322,7 @@ product A d = foldr A A d.times d.one
--
Div : Type -> Type
Div = sig div : A -> A -> A
Div A = sig div : A -> A -> A
mod : A -> A -> A
div : (A : Type) -> Div A -> A -> A -> A
@@ -347,7 +347,7 @@ mod _ d = d.mod
--
Neg : Type -> Type
Neg = sig negate : A -> A
Neg A = sig negate : A -> A
negate : (A : Type) -> Neg A -> A -> A
negate _ d = d.negate
@@ -451,7 +451,7 @@ show _ d = d.show
--
Monoid : Type -> Type
Monoid = sig mzero : A
Monoid A = sig mzero : A
mplus : A -> A -> A