git.iko.soy/Idris-dev
on master help sign in
update algebra.idr
7c42f77Edwin Brady
lib/prelude/algebra.idr+2−2
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−module algebra
1+module prelude.algebra
2
2
3import builtins
3import builtins
4
4
@@ -6,7 +6,7 @@ import builtins
6-- Must satisfy:
6-- Must satisfy:
7-- forall a, b, c. a <*> (b <*> c) = (a <*> b) <*> c
7-- forall a, b, c. a <*> (b <*> c) = (a <*> b) <*> c
8class Semigroup a where
8class Semigroup a where
9− (<*>) : a -> a -> a
9+ (<.>) : a -> a -> a
10
10
11-- Sets with an associative binary operation and a neutral element
11-- Sets with an associative binary operation and a neutral element
12-- Must satisfy:
12-- Must satisfy: