Commit d9552c87 authored by Tim Steenvoorden's avatar Tim Steenvoorden
Browse files

triv

parent fa9490b3
......@@ -275,18 +275,3 @@ prim_writeStringFile s f = code inline {
jsr writeFS
.o 0 2 f
}
/// # Conversions
/// ## Booleans
/// ## Characters
/// ## Integers
/// ## Reals
prim_realToInt :: !Real -> Int
prim_realToInt x = code inline {
RtoI
}
......@@ -9,52 +9,22 @@ module Data.Tuple
:: (a,b,c,d,e)
...
module Data.Array
:: {a}
module Data.String
:: String :== {#Char}
module Data.Slice
:: Slice a = Slice {a} !Int !Int
module Data.Vector
:: Vector a :== {a}
:: Vector a :== {#a}
module Data.Matrix
:: Matrix a :== {{a}}
:: Matrix a :== {#{#a}}
/// # Basics
module Data.Bounded
instance Bounded Nat
instance Bounded Int
instance Bounded (Complex a) | Bounded a
module Data.Enum
class Enum a where
fromEnum :: a -> Int
toEnum :: Int -> a
enumFrom :: a -> [a]
enumFromTo :: a a -> [a]
enumFromThen :: a a -> [a]
enumFromThenTo :: a a a -> [a]
/// # Show and Parse
module Data.Show
class Show a where
show :: a -> String
module Data.Parse
class Parse a where
......@@ -82,7 +52,7 @@ class Round a | Signed a where
round :: a -> b | Domain b
truncate :: a -> b | Domain b
floor :: a -> b | Domain b
ceil :: a -> b | Domain b
ceiling :: a -> b | Domain b
instance Semigroup (Vector a) | Semigroup a
instance Monoid (Vector a) | Monoid a
......@@ -106,54 +76,6 @@ instance Cast Real Int
instance Cast Char Int
instance Cast Int Char
/*
/// # String casts
instance Cast String Int where
cast = prim__fromStrInt
instance Cast String Double where
cast = prim__strToFloat
instance Cast String Integer where
cast = prim__fromStrBigInt
/// # Int casts
instance Cast Int String where
cast = prim__toStrInt
instance Cast Int Double where
cast = prim__toFloatInt
instance Cast Int Integer where
cast = prim__sextInt_BigInt
/// # Double casts
instance Cast Double String where
cast = prim__floatToStr
instance Cast Double Int where
cast = prim__fromFloatInt
instance Cast Double Integer where
cast = prim__fromFloatBigInt
/// # Integer casts
instance Cast Integer String where
cast = prim__toStrBigInt
instance Cast Integer Double where
cast = prim__toFloatBigInt
/// # Char casts
instance Cast Char Int where
cast = prim__charToInt
*/
/// # Collections
/// ## Traversable
......@@ -185,4 +107,3 @@ module Data.List
class IsList a where
fromList :: [a] -> a
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