Safe Haskell	None

Prelude.Week0

Contents

Basic Types
Arithmetic arithmetic and comparison
Type conversion functions
Very basic lists
String operations
Other convenient operators
Output
Ignore these

Synopsis

Basic Types

type Char = Char Source

type String = [Char]Source

type Int = Int Source

type Double = Double Source

data Bool

Constructors

False
True

Instances

Eq Bool
Ord Bool
Show Bool
NFData Bool

Arithmetic arithmetic and comparison

Integer arithmetic and comparison

(+) :: Int -> Int -> Int Source

(-) :: Int -> Int -> Int Source

(*) :: Int -> Int -> Int Source

mod :: Int -> Int -> Int Source

(>) :: Int -> Int -> Bool Source

(<) :: Int -> Int -> Bool Source

(>=) :: Int -> Int -> Bool Source

(<=) :: Int -> Int -> Bool Source

(==) :: Int -> Int -> Bool Source

(/=) :: Int -> Int -> Bool Source

Double arithmetic and comparison

(+.) :: Double -> Double -> Double Source

(-.) :: Double -> Double -> Double Source

(*.) :: Double -> Double -> Double Source

(>.) :: Double -> Double -> Bool Source

(<.) :: Double -> Double -> Bool Source

(>=.) :: Double -> Double -> Bool Source

(<=.) :: Double -> Double -> Bool Source

(==.) :: Double -> Double -> Bool Source

(/=.) :: Double -> Double -> Bool Source

Boolean operators

(||) :: Bool -> Bool -> Bool

Boolean "or"

(&&) :: Bool -> Bool -> Bool

Boolean "and"

not :: Bool -> Bool

Boolean "not"

Type conversion functions

doubleToString :: Double -> String Source

intToString :: Int -> String Source

charToString :: Char -> String Source

intToDouble :: Int -> Double Source

intToChar :: Int -> Char Source

charToInt :: Char -> Int Source

Very basic lists

data BasicList a Source

empty :: BasicList aSource

prepend :: a -> BasicList a -> BasicList aSource

get :: Int -> BasicList a -> aSource

String operations

(<>) :: String -> String -> String Source

Append two strings.

Other convenient operators

(.) :: (b -> c) -> (a -> b) -> a -> c

Function composition.

trace :: String -> a -> a

The trace function outputs the trace message given as its first argument, before returning the second argument as its result.

For example, this returns the value of f x but first outputs the message.

 trace ("calling f with x = " ++ show x) (f x)

The trace function should only be used for debugging, or for monitoring execution. The function is not referentially transparent: its type indicates that it is a pure function but it has the side effect of outputting the trace message.

error :: [Char] -> a

error stops execution and displays an error message.

Output

print :: Show a => a -> IO ()

The print function outputs a value of any printable type to the standard output device. Printable types are those that are instances of class Show; print converts values to strings for output using the show operation and adds a newline.

For example, a program to print the first 20 integers and their powers of 2 could be written as:

 main = print ([(n, 2^n) | n <- [0..19]])

Ignore these

(>>) :: Monad m => forall a b. m a -> m b -> m b

Sequentially compose two actions, discarding any value produced by the first, like sequencing operators (such as the semicolon) in imperative languages.

return :: Monad m => forall a. a -> m a

Inject a value into the monadic type.