git.iko.soy/elk
on master help sign in
Minor tweaks to match type-checker generation of ADT constraints
0ab92aeEvan Czaplicki
libraries/Matrix2D.elm+2
compare with master
unifiedsplit
@@ -3,6 +3,8 @@ module Matrix2D where
3
3
4import Native.Matrix2D as Native
4import Native.Matrix2D as Native
5
5
6+data Matrix2D = Matrix2D
7+
6-- Create an identity matrix.
8-- Create an identity matrix.
7--
9--
8-- / 1 0 \\
10-- / 1 0 \\
libraries/Maybe.elm+2−2
@@ -1,8 +1,8 @@
1
1
2module Maybe where
2module Maybe where
3
3
4−import open Basics
4+import Basics (not, (.))
5−import open List
5+import List (foldr)
6
6
7-- The Maybe datatype. Useful when a computation may or may not
7-- The Maybe datatype. Useful when a computation may or may not
8-- result in a value (e.g. logarithm is defined only for positive numbers).
8-- result in a value (e.g. logarithm is defined only for positive numbers).