Safe Haskell	None
Language	Haskell98

Core

Description

Minimal set of imports needed to support basic CodeWorld syntax. Many of these are not directly used by students, but are needed for desugaring with the RebindableSyntax extension.

Synopsis

type Effect = IO ()
data Number
data Text
type Truth = Bool
data Bool
- = False
- | True
fromInteger :: Integer -> Number
fromRational :: Rational -> Number
fromString :: String -> Text
ifThenElse :: Truth -> a -> a -> a
fail :: String -> a

Documentation

type Effect = IO () #

An effect is an operation that can be observed in the real world

A program ultimately needs to have an effect on the real world, such as showing a picture on a screen, or reacting when the user presses a key, taps on a pointer-sensitive display, or moves the mouse.

The type Effect represents an action on the world outside the internal memory of the computer. Entry points, such as drawingOf, will always produce effects, because a program with no effect is useless. The word IO is a shortcut for Input/Output, given that effects can be thought as inputs from the real world or outputs to the real world.

data Number #

The type for numbers.

Numbers can be positive or negative, whole or fractional. For example, 5, 3.2, and -10 are all values of the type Number.

Instances

Enum Number #
Instance details Defined in Internal.Num Methods succ :: Number -> Number pred :: Number -> Number toEnum :: Int -> Number fromEnum :: Number -> Int enumFrom :: Number -> [Number] enumFromThen :: Number -> Number -> [Number] enumFromTo :: Number -> Number -> [Number] enumFromThenTo :: Number -> Number -> Number -> [Number]
Eq Number #
Instance details Defined in Internal.Num Methods (==) :: Number -> Number -> Bool (/=) :: Number -> Number -> Bool
Floating Number #
Instance details Defined in Internal.Num Methods pi :: Number exp :: Number -> Number log :: Number -> Number sqrt :: Number -> Number (**) :: Number -> Number -> Number logBase :: Number -> Number -> Number sin :: Number -> Number cos :: Number -> Number tan :: Number -> Number asin :: Number -> Number acos :: Number -> Number atan :: Number -> Number sinh :: Number -> Number cosh :: Number -> Number tanh :: Number -> Number asinh :: Number -> Number acosh :: Number -> Number atanh :: Number -> Number log1p :: Number -> Number expm1 :: Number -> Number log1pexp :: Number -> Number log1mexp :: Number -> Number
Fractional Number #
Instance details Defined in Internal.Num Methods (/) :: Number -> Number -> Number recip :: Number -> Number fromRational :: Rational -> Number
Num Number #
Instance details Defined in Internal.Num Methods (+) :: Number -> Number -> Number (-) :: Number -> Number -> Number (*) :: Number -> Number -> Number negate :: Number -> Number abs :: Number -> Number signum :: Number -> Number fromInteger :: Integer -> Number
Ord Number #
Instance details Defined in Internal.Num Methods compare :: Number -> Number -> Ordering (<) :: Number -> Number -> Bool (<=) :: Number -> Number -> Bool (>) :: Number -> Number -> Bool (>=) :: Number -> Number -> Bool max :: Number -> Number -> Number min :: Number -> Number -> Number
Real Number #
Instance details Defined in Internal.Num Methods toRational :: Number -> Rational
RealFloat Number #
Instance details Defined in Internal.Num Methods floatRadix :: Number -> Integer floatDigits :: Number -> Int floatRange :: Number -> (Int, Int) decodeFloat :: Number -> (Integer, Int) encodeFloat :: Integer -> Int -> Number exponent :: Number -> Int significand :: Number -> Number scaleFloat :: Int -> Number -> Number isNaN :: Number -> Bool isInfinite :: Number -> Bool isDenormalized :: Number -> Bool isNegativeZero :: Number -> Bool isIEEE :: Number -> Bool atan2 :: Number -> Number -> Number
RealFrac Number #
Instance details Defined in Internal.Num Methods properFraction :: Integral b => Number -> (b, Number) truncate :: Integral b => Number -> b round :: Integral b => Number -> b ceiling :: Integral b => Number -> b floor :: Integral b => Number -> b
Show Number #
Instance details Defined in Internal.Num Methods showsPrec :: Int -> Number -> ShowS show :: Number -> String showList :: [Number] -> ShowS

data Text #

Instances

Eq Text #
Instance details Defined in Internal.Text Methods (==) :: Text -> Text -> Bool (/=) :: Text -> Text -> Bool

type Truth = Bool #

data Bool #

Constructors

False
True

Instances

Bounded Bool
Instance details Defined in GHC.Enum Methods minBound :: Bool maxBound :: Bool
Enum Bool
Instance details Defined in GHC.Enum Methods succ :: Bool -> Bool pred :: Bool -> Bool toEnum :: Int -> Bool fromEnum :: Bool -> Int enumFrom :: Bool -> [Bool] enumFromThen :: Bool -> Bool -> [Bool] enumFromTo :: Bool -> Bool -> [Bool] enumFromThenTo :: Bool -> Bool -> Bool -> [Bool]
Eq Bool
Instance details Defined in GHC.Classes Methods (==) :: Bool -> Bool -> Bool (/=) :: Bool -> Bool -> Bool
Ord Bool
Instance details Defined in GHC.Classes Methods compare :: Bool -> Bool -> Ordering (<) :: Bool -> Bool -> Bool (<=) :: Bool -> Bool -> Bool (>) :: Bool -> Bool -> Bool (>=) :: Bool -> Bool -> Bool max :: Bool -> Bool -> Bool min :: Bool -> Bool -> Bool
Read Bool
Instance details Defined in GHC.Read Methods readsPrec :: Int -> ReadS Bool readList :: ReadS [Bool] readPrec :: ReadPrec Bool readListPrec :: ReadPrec [Bool]
Show Bool
Instance details Defined in GHC.Show Methods showsPrec :: Int -> Bool -> ShowS show :: Bool -> String showList :: [Bool] -> ShowS
Ix Bool
Instance details Defined in GHC.Arr Methods range :: (Bool, Bool) -> [Bool] index :: (Bool, Bool) -> Bool -> Int unsafeIndex :: (Bool, Bool) -> Bool -> Int inRange :: (Bool, Bool) -> Bool -> Bool rangeSize :: (Bool, Bool) -> Int unsafeRangeSize :: (Bool, Bool) -> Int
Generic Bool
Instance details Defined in GHC.Generics Associated Types type Rep Bool :: Type -> Type Methods from :: Bool -> Rep Bool x to :: Rep Bool x -> Bool
Lift Bool
Instance details Defined in Language.Haskell.TH.Syntax Methods lift :: Bool -> Q Exp
Bits Bool
Instance details Defined in Data.Bits Methods (.&.) :: Bool -> Bool -> Bool (.\|.) :: Bool -> Bool -> Bool xor :: Bool -> Bool -> Bool complement :: Bool -> Bool shift :: Bool -> Int -> Bool rotate :: Bool -> Int -> Bool zeroBits :: Bool bit :: Int -> Bool setBit :: Bool -> Int -> Bool clearBit :: Bool -> Int -> Bool complementBit :: Bool -> Int -> Bool testBit :: Bool -> Int -> Bool bitSizeMaybe :: Bool -> Maybe Int bitSize :: Bool -> Int isSigned :: Bool -> Bool shiftL :: Bool -> Int -> Bool unsafeShiftL :: Bool -> Int -> Bool shiftR :: Bool -> Int -> Bool unsafeShiftR :: Bool -> Int -> Bool rotateL :: Bool -> Int -> Bool rotateR :: Bool -> Int -> Bool popCount :: Bool -> Int
FiniteBits Bool
Instance details Defined in Data.Bits Methods finiteBitSize :: Bool -> Int countLeadingZeros :: Bool -> Int countTrailingZeros :: Bool -> Int
Random Bool
Instance details Defined in System.Random Methods randomR :: RandomGen g => (Bool, Bool) -> g -> (Bool, g) random :: RandomGen g => g -> (Bool, g) randomRs :: RandomGen g => (Bool, Bool) -> g -> [Bool] randoms :: RandomGen g => g -> [Bool] randomRIO :: (Bool, Bool) -> IO Bool randomIO :: IO Bool
Unbox Bool
Instance details Defined in Data.Vector.Unboxed.Base
IsAddEventListenerOptionsOrBool Bool
Instance details Defined in GHCJS.DOM.Types
IsEventListenerOptionsOrBool Bool
Instance details Defined in GHCJS.DOM.Types
SingKind Bool
Instance details Defined in GHC.Generics Associated Types type DemoteRep Bool :: Type Methods fromSing :: Sing a -> DemoteRep Bool
Vector Vector Bool
Instance details Defined in Data.Vector.Unboxed.Base Methods basicUnsafeFreeze :: PrimMonad m => Mutable Vector (PrimState m) Bool -> m (Vector Bool) basicUnsafeThaw :: PrimMonad m => Vector Bool -> m (Mutable Vector (PrimState m) Bool) basicLength :: Vector Bool -> Int basicUnsafeSlice :: Int -> Int -> Vector Bool -> Vector Bool basicUnsafeIndexM :: Monad m => Vector Bool -> Int -> m Bool basicUnsafeCopy :: PrimMonad m => Mutable Vector (PrimState m) Bool -> Vector Bool -> m () elemseq :: Vector Bool -> Bool -> b -> b
MVector MVector Bool
Instance details Defined in Data.Vector.Unboxed.Base Methods basicLength :: MVector s Bool -> Int basicUnsafeSlice :: Int -> Int -> MVector s Bool -> MVector s Bool basicOverlaps :: MVector s Bool -> MVector s Bool -> Bool basicUnsafeNew :: PrimMonad m => Int -> m (MVector (PrimState m) Bool) basicInitialize :: PrimMonad m => MVector (PrimState m) Bool -> m () basicUnsafeReplicate :: PrimMonad m => Int -> Bool -> m (MVector (PrimState m) Bool) basicUnsafeRead :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m Bool basicUnsafeWrite :: PrimMonad m => MVector (PrimState m) Bool -> Int -> Bool -> m () basicClear :: PrimMonad m => MVector (PrimState m) Bool -> m () basicSet :: PrimMonad m => MVector (PrimState m) Bool -> Bool -> m () basicUnsafeCopy :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () basicUnsafeMove :: PrimMonad m => MVector (PrimState m) Bool -> MVector (PrimState m) Bool -> m () basicUnsafeGrow :: PrimMonad m => MVector (PrimState m) Bool -> Int -> m (MVector (PrimState m) Bool)
SingI False
Instance details Defined in GHC.Generics Methods sing :: Sing False
SingI True
Instance details Defined in GHC.Generics Methods sing :: Sing True
type Rep Bool
Instance details Defined in GHC.Generics type Rep Bool = D1 (MetaData "Bool" "GHC.Types" "ghc-prim" False) (C1 (MetaCons "False" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "True" PrefixI False) (U1 :: Type -> Type))
newtype Vector Bool
Instance details Defined in Data.Vector.Unboxed.Base newtype Vector Bool = V_Bool (Vector Word8)
type DemoteRep Bool
Instance details Defined in GHC.Generics type DemoteRep Bool = Bool
data Sing (a :: Bool)
Instance details Defined in GHC.Generics data Sing (a :: Bool) where STrue :: forall (a :: Bool). Sing True SFalse :: forall (a :: Bool). Sing False
newtype MVector s Bool
Instance details Defined in Data.Vector.Unboxed.Base newtype MVector s Bool = MV_Bool (MVector s Word8)

fromInteger :: Integer -> Number #

fromRational :: Rational -> Number #

fromString :: String -> Text #

ifThenElse :: Truth -> a -> a -> a #

fail :: String -> a #

Fails with an error message. This is required (though apparently unused) by the desugaring for pattern binds in list comprehensions.