Commit 0dbd5925 authored by Tim Steenvoorden's avatar Tim Steenvoorden
Browse files

triv

parent 55ac59b1
......@@ -128,7 +128,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Clean._Array
Name: Data.Array
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -142,7 +142,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Array
Name: Data.Array.Strict
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -156,7 +156,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Bool
Name: Data.Array.Unboxed
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -170,7 +170,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Char
Name: Data.Bool
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -184,7 +184,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Enum
Name: Data.Char
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -198,7 +198,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Function
Name: Data.Enum
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -212,7 +212,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Int
Name: Data.Function
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -226,7 +226,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Nat
Name: Data.Int
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -240,7 +240,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.Real
Name: Data.Nat
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......@@ -254,7 +254,7 @@ OtherModules
ReuseUniqueNodes: True
Fusion: False
Module
Name: Data.String
Name: Data.Real
Dir: {Project}/src
Compiler
NeverMemoryProfile: False
......
......@@ -2,14 +2,11 @@ definition module Data.Enum
from Data.Nat import :: Nat
// import Data.Enum._Internal
// import Clean._Enum
/// # Class
/// # Overloading
class Enum a where
toEnum :: !Nat -> a // toEnum, enum, object, mapping
fromEnum :: !a -> Nat // fromEnum, natural, numeral, order, position, count
toEnum :: !Nat -> a
fromEnum :: !a -> Nat
succ :: !a -> a
pred :: !a -> a
......@@ -18,3 +15,5 @@ class Enum a where
enumFromTo :: !a !a -> .[a]
enumFromThen :: a a -> .[a]
enumFromThenTo :: !a !a !a -> .[a]
//TODO patch compiler to use enum... functions
Supports Markdown
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