CodeWorld

Entry points

drawingOf :: Picture -> IO ()

Draws a Picture. This is the simplest CodeWorld entry point.

animationOf :: (Double -> Picture) -> IO ()

Shows an animation, with a picture for each time given by the parameter.

simulationOf :: world -> (Double -> world -> world) -> (world -> Picture) -> IO ()

Shows a simulation, which is essentially a continuous-time dynamical system described by an initial value and step function.

interactionOf :: world -> (Double -> world -> world) -> (Event -> world -> world) -> (world -> Picture) -> IO ()

Runs an interactive event-driven CodeWorld program. This is a generalization of simulations that can respond to events like key presses and mouse movement.

collaborationOf :: Int -> StaticPtr (StdGen -> world) -> StaticPtr (Double -> world -> world) -> StaticPtr (Int -> Event -> world -> world) -> StaticPtr (Int -> world -> Picture) -> IO ()

Runs an interactive multi-user CodeWorld program, involving multiple participants over the internet.

unsafeCollaborationOf :: Int -> (StdGen -> world) -> (Double -> world -> world) -> (Int -> Event -> world -> world) -> (Int -> world -> Picture) -> IO ()

A version of collaborationOf that avoids static pointers, and does not check for consistent parameters.

Pictures

data Picture

Instances

Monoid Picture

Methods

mempty :: Picture

mappend :: Picture -> Picture -> Picture

mconcat :: [Picture] -> Picture

data TextStyle

Constructors

Plain

Bold

Italic

data Font

Constructors

SansSerif

Serif

Monospace

Handwriting

Fancy

NamedFont !Text

blank :: Picture

A blank picture

path :: [Point] -> Picture

A thin sequence of line segments, with these points as endpoints

thickPath :: Double -> [Point] -> Picture

A thick sequence of line segments, with given line width and endpoints

polygon :: [Point] -> Picture

A thin polygon with these points as vertices

thickPolygon :: Double -> [Point] -> Picture

A thick polygon with this line width and these points as vertices

solidPolygon :: [Point] -> Picture

A solid polygon with these points as vertices

curve :: [Point] -> Picture

A smooth curve passing through these points.

thickCurve :: Double -> [Point] -> Picture

A thick smooth curve with this line width, passing through these points.

loop :: [Point] -> Picture

A smooth closed loop passing through these points.

thickLoop :: Double -> [Point] -> Picture

A thick smooth closed loop with this line width, passing through these points.

solidLoop :: [Point] -> Picture

A solid smooth closed loop passing through these points.

rectangle :: Double -> Double -> Picture

A thin rectangle, with this width and height

solidRectangle :: Double -> Double -> Picture

A solid rectangle, with this width and height

thickRectangle :: Double -> Double -> Double -> Picture

A thick rectangle, with this line width, and width and height

circle :: Double -> Picture

A thin circle, with this radius

solidCircle :: Double -> Picture

A solid circle, with this radius

thickCircle :: Double -> Double -> Picture

A thick circle, with this line width and radius

arc :: Double -> Double -> Double -> Picture

A thin arc, starting and ending at these angles, with this radius

Angles are in radians.

sector :: Double -> Double -> Double -> Picture

A solid sector of a circle (i.e., a pie slice) starting and ending at these angles, with this radius

Angles are in radians.

thickArc :: Double -> Double -> Double -> Double -> Picture

A thick arc with this line width, starting and ending at these angles, with this radius.

Angles are in radians.

text :: Text -> Picture

A piece of text

styledText :: TextStyle -> Font -> Text -> Picture

colored :: Color -> Picture -> Picture

A picture drawn entirely in this color.

coloured :: Color -> Picture -> Picture

A picture drawn entirely in this colour.

translated :: Double -> Double -> Picture -> Picture

A picture drawn translated in these directions.

scaled :: Double -> Double -> Picture -> Picture

A picture scaled by these factors.

dilated :: Double -> Double -> Picture -> Picture

A picture scaled by these factors.

rotated :: Double -> Picture -> Picture

A picture rotated by this angle.

Angles are in radians.

pictures :: [Picture] -> Picture

(<>) :: Monoid m => m -> m -> m infixr 6

An infix synonym for mappend.

Since: 4.5.0.0

(&) :: Picture -> Picture -> Picture infixr 0

Binary composition of pictures.

coordinatePlane :: Picture

A coordinate plane. Adding this to your pictures can help you measure distances more accurately.

Example:

main = pictureOf (myPicture <> coordinatePlane) myPicture = ...

codeWorldLogo :: Picture

The CodeWorld logo.

type Point = (Double, Double)

type Vector = (Double, Double)

vectorSum :: Vector -> Vector -> Vector

vectorDifference :: Vector -> Vector -> Vector

scaledVector :: Double -> Vector -> Vector

rotatedVector :: Double -> Vector -> Vector

Angle is in radians

dotProduct :: Vector -> Vector -> Double

Colors

data Color

Constructors

RGBA !Double !Double !Double !Double

Instances

Eq Color

Methods

(==) :: Color -> Color -> Bool

(/=) :: Color -> Color -> Bool

Show Color

Methods

showsPrec :: Int -> Color -> ShowS

show :: Color -> String

showList :: [Color] -> ShowS

type Colour = Color

black :: Color

white :: Color

red :: Color

green :: Color

blue :: Color

cyan :: Color

magenta :: Color

yellow :: Color

aquamarine :: Color

orange :: Color

azure :: Color

violet :: Color

chartreuse :: Color

rose :: Color

brown :: Color

pink :: Color

purple :: Color

gray :: Double -> Color

grey :: Double -> Color

mixed :: Color -> Color -> Color

lighter :: Double -> Color -> Color

light :: Color -> Color

darker :: Double -> Color -> Color

dark :: Color -> Color

brighter :: Double -> Color -> Color

bright :: Color -> Color

duller :: Double -> Color -> Color

dull :: Color -> Color

translucent :: Color -> Color

hue :: Color -> Double

saturation :: Color -> Double

luminosity :: Color -> Double

fromHSL :: Double -> Double -> Double -> Color

Events

data Event

An event initiated by the user.

Values of this type represent events that the user triggers when using an interaction, defined with interactionOf.

Key events describe the key as Text. Most keys are represented by a single character text string, with the capital letter or other symbol from the key. Keys that don't correspond to a single character use longer names from the following list. Keep in mind that not all of these keys appear on all keyboards.

• Up, Down, Left, and Right for the cursor keys.
• F1, F2, etc. for function keys.
• Backspace
• Tab
• Enter
• Shift
• Ctrl
• Alt
• Esc
• PageUp
• PageDown
• End
• Home
• Insert
• Delete
• CapsLock
• NumLock
• ScrollLock
• PrintScreen
• Break
• Separator
• Cancel
• Help

Constructors

KeyPress !Text

KeyRelease !Text

MousePress !MouseButton !Point

MouseRelease !MouseButton Point

MouseMovement !Point

Instances

Eq Event

Methods

(==) :: Event -> Event -> Bool

(/=) :: Event -> Event -> Bool

Read Event

Methods

readsPrec :: Int -> ReadS Event

readList :: ReadS [Event]

readPrec :: ReadPrec Event

readListPrec :: ReadPrec [Event]

Show Event

Methods

showsPrec :: Int -> Event -> ShowS

show :: Event -> String

showList :: [Event] -> ShowS

data MouseButton

Constructors

LeftButton

MiddleButton

RightButton

Instances

Eq MouseButton

Methods

(==) :: MouseButton -> MouseButton -> Bool

(/=) :: MouseButton -> MouseButton -> Bool

Read MouseButton

Methods

readsPrec :: Int -> ReadS MouseButton

readList :: ReadS [MouseButton]

readPrec :: ReadPrec MouseButton

readListPrec :: ReadPrec [MouseButton]

Show MouseButton

Methods

showsPrec :: Int -> MouseButton -> ShowS

show :: MouseButton -> String

showList :: [MouseButton] -> ShowS

Debugging

trace :: Text -> a -> a

Prints a debug message to the CodeWorld console when a value is forced. This is equivalent to the similarly named function in Trace, except that it uses the CodeWorld console instead of standard output.