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 379a969f67
commit 5da597da36
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 : Type -> Type
Num = sig zero : A Num A = sig zero : A
plus : A -> A -> A plus : A -> A -> A
minus : A -> A -> A minus : A -> A -> A
one : A one : A
@@ -254,7 +254,7 @@ Num = sig zero : A
-- --
Add : Type -> Type Add : Type -> Type
Add = sig zero : A Add A = sig zero : A
plus : A -> A -> A plus : A -> A -> A
zero : (A : Type) -> Add A -> A zero : (A : Type) -> Add A -> A
@@ -296,7 +296,7 @@ minus _ d = d.minus
-- --
Mul : Type -> Type Mul : Type -> Type
Mul = sig one : A Mul A = sig one : A
times : A -> A -> A times : A -> A -> A
one : (A : Type) -> Mul 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 : Type -> Type
Div = sig div : A -> A -> A Div A = sig div : A -> A -> A
mod : A -> A -> A mod : A -> A -> A
div : (A : Type) -> Div A -> A -> A -> A div : (A : Type) -> Div A -> A -> A -> A
@@ -347,7 +347,7 @@ mod _ d = d.mod
-- --
Neg : Type -> Type Neg : Type -> Type
Neg = sig negate : A -> A Neg A = sig negate : A -> A
negate : (A : Type) -> Neg A -> A -> A negate : (A : Type) -> Neg A -> A -> A
negate _ d = d.negate negate _ d = d.negate
@@ -451,7 +451,7 @@ show _ d = d.show
-- --
Monoid : Type -> Type Monoid : Type -> Type
Monoid = sig mzero : A Monoid A = sig mzero : A
mplus : A -> A -> A mplus : A -> A -> A