Safe Haskell	None
Language	Haskell2010

CodeWorld

Contents

CodeWorld API
Colours
Math Utility
Text Rendering Modifiers
CodeWorld IO Interface

Description

Module exporting the same interface as provided in the CodeWorld editor.

Synopsis

data Picture
(&) :: Picture -> Picture -> Picture
arc :: Double -> Double -> Double -> Picture
blank :: Picture
circle :: Double -> Picture
clipped :: Double -> Double -> Picture -> Picture
closedCurve :: [Point] -> Picture
codeWorldLogo :: Picture
colored :: Color -> Picture -> Picture
coloured :: Color -> Picture -> Picture
coordinatePlane :: Picture
curve :: [Point] -> Picture
dilated :: Double -> Picture -> Picture
lettering :: Text -> Picture
pictures :: [Picture] -> Picture
polygon :: [Point] -> Picture
polyline :: [Point] -> Picture
rectangle :: Double -> Double -> Picture
reflected :: Double -> Picture -> Picture
rotated :: Double -> Picture -> Picture
scaled :: Double -> Double -> Picture -> Picture
sector :: Double -> Double -> Double -> Picture
solidCircle :: Double -> Picture
solidClosedCurve :: [Point] -> Picture
solidPolygon :: [Point] -> Picture
solidRectangle :: Double -> Double -> Picture
styledLettering :: TextStyle -> Font -> Text -> Picture
thickArc :: Double -> Double -> Double -> Double -> Picture
thickCircle :: Double -> Double -> Picture
thickClosedCurve :: Double -> [Point] -> Picture
thickCurve :: Double -> [Point] -> Picture
thickPolygon :: Double -> [Point] -> Picture
thickPolyline :: Double -> [Point] -> Picture
thickRectangle :: Double -> Double -> Double -> Picture
translated :: Double -> Double -> Picture -> Picture
data Color
- = RGB Double Double Double
- | HSL Double Double Double
- | RGBA Double Double Double Double
alpha :: Color -> Double
assortedColors :: [Color]
black :: Color
blue :: Color
bright :: Color -> Color
brighter :: Double -> Color -> Color
brown :: Color
dark :: Color -> Color
darker :: Double -> Color -> Color
dull :: Color -> Color
duller :: Double -> Color -> Color
gray :: Color
green :: Color
grey :: Color
hue :: Color -> Double
light :: Color -> Color
lighter :: Double -> Color -> Color
luminosity :: Color -> Double
mixed :: [Color] -> Color
orange :: Color
pink :: Color
purple :: Color
red :: Color
saturation :: Color -> Double
translucent :: Color -> Color
white :: Color
yellow :: Color
type Colour = Color
dilatedPoint :: Double -> Point -> Point
dotProduct :: Vector -> Vector -> Double
reflectedPoint :: Double -> Point -> Point
rotatedPoint :: Double -> Point -> Point
rotatedVector :: Double -> Vector -> Vector
scaledPoint :: Double -> Double -> Point -> Point
scaledVector :: Double -> Double -> Vector -> Vector
translatedPoint :: Double -> Double -> Point -> Point
vectorDifference :: Vector -> Vector -> Vector
vectorDirection :: Vector -> Double
vectorLength :: Vector -> Double
vectorSum :: Vector -> Vector -> Vector
type Point = (Double, Double)
type Vector = (Double, Double)
data Font
- = SansSerif
- | Serif
- | Monospace
- | Handwriting
- | Fancy
- | NamedFont Text
data ReifyPicture a
- = Rectangle Style Double Double
- | Circle Style Double
- | Polyline Shape [Point]
- | Arc Style Double Double Double
- | Curve Shape [Point]
- | Lettering Text
- | StyledLettering TextStyle Font Text
- | Color Color a
- | Translate Double Double a
- | Scale Double Double a
- | Dilate Double a
- | Rotate Double a
- | Reflect Double a
- | Clip Double Double a
- | Pictures [a]
- | And a a
- | CoordinatePlane
- | Logo
- | Blank
data Shape
- = Closed Style
- | Open (Maybe Double)
data Style
- = Outline (Maybe Double)
- | Solid
data TextStyle
- = Plain
- | Bold
- | Italic
drawingOf :: Picture -> IO ()
animationOf :: (Double -> Picture) -> IO ()
trace :: Text -> a -> a

CodeWorld API

The CodeWorld Picture type and corresponding API for composing images.

data Picture Source #

Student facing, basic picture type. A value of this type can be build using the CodeWorld API.

CodeWorld.Test also exports pattern synonyms for all contained constructors. This allows for easier pattern matching in generic traversals.

Instances

Instances details

MuRef Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

Associated Types

type DeRef Picture
Instance details Defined in CodeWorld.Tasks.Picture type DeRef Picture = ReifyPicture

Methods

mapDeRef :: Applicative f => (forall b. (MuRef b, DeRef Picture ~ DeRef b) => b -> f u) -> Picture -> f (DeRef Picture u)

NFData Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

Methods

rnf :: Picture -> () #

Data Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Picture -> c Picture #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Picture #

toConstr :: Picture -> Constr #

dataTypeOf :: Picture -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Picture) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Picture) #

gmapT :: (forall b. Data b => b -> b) -> Picture -> Picture #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Picture -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Picture -> r #

gmapQ :: (forall d. Data d => d -> u) -> Picture -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Picture -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Picture -> m Picture #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Picture -> m Picture #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Picture -> m Picture #

Generic Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

Associated Types

type Rep Picture
Instance details Defined in CodeWorld.Tasks.Picture type Rep Picture = D1 ('MetaData "Picture" "CodeWorld.Tasks.Picture" "codeworld-tasks-0.1.0.0-HDTRBEVOXsr1YTQ9DZ9YSS" 'True) (C1 ('MetaCons "PRec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ReifyPicture Picture))))

Methods

from :: Picture -> Rep Picture x #

to :: Rep Picture x -> Picture #

Show Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

Methods

showsPrec :: Int -> Picture -> ShowS #

show :: Picture -> String #

showList :: [Picture] -> ShowS #

Eq Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

Methods

(==) :: Picture -> Picture -> Bool #

(/=) :: Picture -> Picture -> Bool #

Ord Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

Methods

compare :: Picture -> Picture -> Ordering #

(<) :: Picture -> Picture -> Bool #

(<=) :: Picture -> Picture -> Bool #

(>) :: Picture -> Picture -> Bool #

(>=) :: Picture -> Picture -> Bool #

max :: Picture -> Picture -> Picture #

min :: Picture -> Picture -> Picture #

type DeRef Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

type DeRef Picture = ReifyPicture

type Rep Picture Source #

Instance details

Defined in CodeWorld.Tasks.Picture

type Rep Picture = D1 ('MetaData "Picture" "CodeWorld.Tasks.Picture" "codeworld-tasks-0.1.0.0-HDTRBEVOXsr1YTQ9DZ9YSS" 'True) (C1 ('MetaCons "PRec" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (ReifyPicture Picture))))

(&) :: Picture -> Picture -> Picture Source #

Compose two Pictures. The left argument will be drawn on top of the right argument if they overlap.

arc :: Double -> Double -> Double -> Picture Source #

Draw a thin, hollow circle segment with these start and end angles and radius.

blank :: Picture Source #

An empty Picture. This is the identity element of &.

circle :: Double -> Picture Source #

Draw a hollow, thin circle with this radius.

clipped :: Double -> Double -> Picture -> Picture Source #

Clip the image in a rectangle with this length and height.

closedCurve :: [Point] -> Picture Source #

Same as curve but adds another splice between the start and end points to close the shape.

codeWorldLogo :: Picture Source #

A static image of the CodeWorld logo.

colored :: Color -> Picture -> Picture Source #

Apply this Color to the image.

coloured :: Color -> Picture -> Picture Source #

Alias for colored.

coordinatePlane :: Picture Source #

A static image of a coordinate plane extending 5 units in all directions.

curve :: [Point] -> Picture Source #

Draw a thin curve passing through the provided points via a number of Bézier splices.

dilated :: Double -> Picture -> Picture Source #

Scale the image in both directions using the same modifier.

lettering :: Text -> Picture Source #

Render this text into an image.

pictures :: [Picture] -> Picture Source #

Compose a list of Pictures. Equivalent to foldr (&) blank.

polygon :: [Point] -> Picture Source #

Same as polyline but adds another segment between the start and end points to close the shape.

polyline :: [Point] -> Picture Source #

Draw a sequence of thin line segments passing through the provided points.

rectangle :: Double -> Double -> Picture Source #

Draw a hollow, thin rectangle with this length and height.

reflected :: Double -> Picture -> Picture Source #

Reflect the image across a line through the origin with this angle to the x-axis.

rotated :: Double -> Picture -> Picture Source #

Rotate the image around the origin using this angle in radians.

scaled :: Double -> Double -> Picture -> Picture Source #

Scale the image in x and y-directions using these modifiers.

sector :: Double -> Double -> Double -> Picture Source #

Draw a filled in circle segment with these start and end angles and radius. This would be solidArc following the usual naming scheme.

solidCircle :: Double -> Picture Source #

Draw a filled in circle with this radius.

solidClosedCurve :: [Point] -> Picture Source #

Draw a curve passing through the provided points via a number of Bézier splices. Adds another splice between the start and end points to close the shape and completely fills the enclosed area.

solidPolygon :: [Point] -> Picture Source #

Draw a sequence of line segments with this line width passing through the provided points and completely fill the enclosed area.

solidRectangle :: Double -> Double -> Picture Source #

Draw a filled in rectangle with this length and height.

styledLettering :: TextStyle -> Font -> Text -> Picture Source #

Render this text into an image using the provided TextStyle and Font.

thickArc :: Double -> Double -> Double -> Double -> Picture Source #

Draw a hollow circle segment with this line width, these start and end angles and radius. Specifying a negative line width causes a runtime error (mirrors behaviour in CodeWorld editor).

thickCircle :: Double -> Double -> Picture Source #

Draw a hollow circle with this line width and radius. Specifying a negative line width or a line width greater than the circles diameter causes a runtime error (mirrors behaviour in CodeWorld editor).

thickClosedCurve :: Double -> [Point] -> Picture Source #

Same as thickCurve but adds another splice between the start and end points to close the shape.

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

Draw a curve with this line width passing through the provided points via a number of Bézier splices. Specifying a negative line width causes a runtime error (mirrors behaviour in CodeWorld editor).

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

Same as thickPolyline but adds another segment between the start and end points to close the shape.

thickPolyline :: Double -> [Point] -> Picture Source #

Draw a sequence of line segments with this line width passing through the provided points. Specifying a negative line width causes a runtime error (mirrors behaviour in CodeWorld editor).

thickRectangle :: Double -> Double -> Double -> Picture Source #

Draw a hollow rectangle with this line width, length and height. Specifying a negative line width causes a runtime error (mirrors behaviour in CodeWorld editor).

translated :: Double -> Double -> Picture -> Picture Source #

Move the image in x and y-direction.

Colours

data Color Source #

Color type mirroring CodeWorld's equivalent type. The exposed constructors allow for setting colors directly via numerical values.

Constructors

RGB Double Double Double	Values for red, green, blue given as a percentage from 0 to 1
HSL Double Double Double	Values for hue, saturation and luminosity
RGBA Double Double Double Double	RGB with an additional transparency percentage

Instances

Instances details

NFData Color Source #

Instance details

Defined in CodeWorld.Tasks.Color

Methods

rnf :: Color -> () #

Data Color Source #

Instance details

Defined in CodeWorld.Tasks.Color

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Color -> c Color #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Color #

toConstr :: Color -> Constr #

dataTypeOf :: Color -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Color) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Color) #

gmapT :: (forall b. Data b => b -> b) -> Color -> Color #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Color -> r #

gmapQ :: (forall d. Data d => d -> u) -> Color -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Color -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Color -> m Color #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Color -> m Color #

Generic Color Source #

Instance details

Defined in CodeWorld.Tasks.Color

Associated Types

type Rep Color

Instance details

Defined in CodeWorld.Tasks.Color

Methods

from :: Color -> Rep Color x #

to :: Rep Color x -> Color #

Show Color Source #

Instance details

Defined in CodeWorld.Tasks.Color

Methods

showsPrec :: Int -> Color -> ShowS #

show :: Color -> String #

showList :: [Color] -> ShowS #

Eq Color Source #

Instance details

Defined in CodeWorld.Tasks.Color

Methods

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

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

Ord Color Source #

Instance details

Defined in CodeWorld.Tasks.Color

Methods

compare :: Color -> Color -> Ordering #

(<) :: Color -> Color -> Bool #

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

(>) :: Color -> Color -> Bool #

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

max :: Color -> Color -> Color #

min :: Color -> Color -> Color #

type Rep Color Source #

Instance details

Defined in CodeWorld.Tasks.Color

alpha :: Color -> Double Source #

Returns the transparency of the argument.

assortedColors :: [Color] Source #

An infinite list of different colours.

black :: Color Source #

Constant basic colour.

blue :: Color Source #

Constant basic colour.

bright :: Color -> Color Source #

Slightly increase argument's saturation.

brighter :: Double -> Color -> Color Source #

Increase argument's saturation by a user defined amount.

brown :: Color Source #

Constant basic colour.

dark :: Color -> Color Source #

Slightly decrease argument's luminosity.

darker :: Double -> Color -> Color Source #

Decrease argument's luminosity by a user defined amount.

dull :: Color -> Color Source #

Slightly decrease argument's saturation.

duller :: Double -> Color -> Color Source #

Decrease argument's saturation by a user defined amount.

gray :: Color Source #

Alias for grey.

green :: Color Source #

Constant basic colour.

grey :: Color Source #

Constant basic colour.

hue :: Color -> Double Source #

Returns the hue of the argument according to the HSL model.

light :: Color -> Color Source #

Slightly increase argument's luminosity.

lighter :: Double -> Color -> Color Source #

Increase argument's luminosity by a user defined amount.

luminosity :: Color -> Double Source #

Returns the luminosity of the argument according to the HSL model.

mixed :: [Color] -> Color Source #

Blend a new color from the arguments.

orange :: Color Source #

Constant basic colour.

pink :: Color Source #

Constant basic colour.

purple :: Color Source #

Constant basic colour.

red :: Color Source #

Constant basic colour.

saturation :: Color -> Double Source #

Returns the saturation of the argument according to the HSL model.

translucent :: Color -> Color Source #

Slightly increase argument's transparency.

white :: Color Source #

Constant basic colour.

yellow :: Color Source #

Constant basic colour.

type Colour = Color Source #

Alias for Color.

Math Utility

dilatedPoint :: Double -> Point -> Point Source #

Dilates a point by given uniform scaling factor. Dilating by a negative factor also reflects across the origin.

dotProduct :: Vector -> Vector -> Double Source #

reflectedPoint :: Double -> Point -> Point Source #

Reflects a point across a line through the origin at this angle from the X-axis.

rotatedPoint :: Double -> Point -> Point Source #

Rotates a point around the origin by the given angle in radians.

rotatedVector :: Double -> Vector -> Vector Source #

Rotates a vector by the given angle in radians.

scaledPoint :: Double -> Double -> Point -> Point Source #

Scales a point by given X and Y scaling factor. Scaling by a negative factor also reflects across that axis.

scaledVector :: Double -> Double -> Vector -> Vector Source #

Scales a vector by the given scalar multiplier.

translatedPoint :: Double -> Double -> Point -> Point Source #

Moves a point in X and Y-directions.

vectorDifference :: Vector -> Vector -> Vector Source #

The difference of two vectors.

vectorDirection :: Vector -> Double Source #

The counter-clockwise angle of a vector from the X-axis.

vectorLength :: Vector -> Double Source #

The length of a vector.

vectorSum :: Vector -> Vector -> Vector Source #

The sum of two vectors.

type Point = (Double, Double) Source #

A point in 2D space. Synonym for a pair of Double values.

type Vector = (Double, Double) Source #

A vector in 2D space. Synonym for a pair of Double values.

Text Rendering Modifiers

data Font Source #

Text font type used for stylized message rendering.

Constructors

SansSerif
Serif
Monospace
Handwriting
Fancy
NamedFont Text

Instances

Instances details

NFData Font Source #

Instance details

Rectangle Style Double Double
Circle Style Double
Polyline Shape [Point]
Arc Style Double Double Double
Curve Shape [Point]
Lettering Text
StyledLettering TextStyle Font Text
Color Color a
Translate Double Double a
Scale Double Double a
Dilate Double a
Rotate Double a
Reflect Double a
Clip Double Double a
Pictures [a]
And a a
CoordinatePlane
Logo
Blank

CodeWorld API

Instances

Colours

Instances

Math Utility

Text Rendering Modifiers

Instances

Instances

Instances

Instances

Instances

CodeWorld IO Interface