-- Hoogle documentation, generated by Haddock -- See Hoogle, http://www.haskell.org/hoogle/ -- | Graphics library for CodeWorld -- -- This module provides the drawing code for CodeWorld. It is heavily -- inspired by Gloss, but modified for consistency and pedagogical -- reasons. -- -- It comes with two backends. When compiled with GHCJS, it uses the -- JavaScript FFI to run on http://code.world/. When compiled with -- GHC, it uses the blank-canvas package to provide a webpage consisting -- of just a panel locally. This way, the same program that runs on the -- CodeWorld server can also be run locally. @package codeworld-api @version 0.4.0 module CodeWorld.Sketches sketchedAirplane :: HasCallStack => Picture sketchedClock :: HasCallStack => Picture sketchedAlien :: HasCallStack => Picture sketchedApple :: HasCallStack => Picture sketchedAstronaut :: HasCallStack => Picture sketchedBaby :: HasCallStack => Picture sketchedBalloon :: HasCallStack => Picture sketchedBall :: HasCallStack => Picture sketchedBell :: HasCallStack => Picture sketchedBird :: HasCallStack => Picture sketchedBoat :: HasCallStack => Picture sketchedBook :: HasCallStack => Picture sketchedBoy :: HasCallStack => Picture sketchedBubble :: HasCallStack => Picture sketchedBug :: HasCallStack => Picture sketchedCar :: HasCallStack => Picture sketchedChatBubble :: HasCallStack => Picture sketchedChest :: HasCallStack => Picture sketchedCloud :: HasCallStack => Picture sketchedCoin :: HasCallStack => Picture sketchedDog :: HasCallStack => Picture sketchedDragon :: HasCallStack => Picture sketchedExplosion :: HasCallStack => Picture sketchedFish :: HasCallStack => Picture sketchedFlag :: HasCallStack => Picture sketchedFlame :: HasCallStack => Picture sketchedFlower :: HasCallStack => Picture sketchedGear :: HasCallStack => Picture sketchedGhost :: HasCallStack => Picture sketchedGirl :: HasCallStack => Picture sketchedGrass :: HasCallStack => Picture sketchedHeart :: HasCallStack => Picture sketchedHotAirBalloon :: HasCallStack => Picture sketchedHouse :: HasCallStack => Picture sketchedJewel :: HasCallStack => Picture sketchedKey :: HasCallStack => Picture sketchedCat :: HasCallStack => Picture sketchedLightBulb :: HasCallStack => Picture sketchedLightning :: HasCallStack => Picture sketchedMonster :: HasCallStack => Picture sketchedMoon :: HasCallStack => Picture sketchedNote :: HasCallStack => Picture sketchedPawnBlack :: HasCallStack => Picture sketchedPawnBlue :: HasCallStack => Picture sketchedPawnGreen :: HasCallStack => Picture sketchedPawnRed :: HasCallStack => Picture sketchedPawnWhite :: HasCallStack => Picture sketchedRaindrop :: HasCallStack => Picture sketchedRobot :: HasCallStack => Picture sketchedRocket :: HasCallStack => Picture sketchedScroll :: HasCallStack => Picture sketchedSign :: HasCallStack => Picture sketchedSparkle :: HasCallStack => Picture sketchedStar :: HasCallStack => Picture sketchedSun :: HasCallStack => Picture sketchedThoughtBubble :: HasCallStack => Picture sketchedBlock :: HasCallStack => Picture sketchedTree :: HasCallStack => Picture -- | Module for using CodeWorld pictures in Reflex-based FRP applications. module CodeWorld.Reflex -- | The entry point for running Reflex-based CodeWorld programs. -- | Warning: Please use reactiveOf instead of reflexOf.reflexOf will be -- removed and replaced soon. reflexOf :: (forall t m. (Reflex t, MonadHold t m, MonadFix m, PerformEvent t m, MonadIO (Performable m), Adjustable t m, PostBuild t m) => ReactiveInput t -> m (Dynamic t Picture)) -> IO () data ReactiveInput t keyPress :: ReactiveInput t -> Event t Text keyRelease :: ReactiveInput t -> Event t Text textEntry :: ReactiveInput t -> Event t Text pointerPress :: ReactiveInput t -> Event t Point pointerRelease :: ReactiveInput t -> Event t Point pointerPosition :: ReactiveInput t -> Dynamic t Point pointerDown :: ReactiveInput t -> Dynamic t Bool timePassing :: ReactiveInput t -> Event t Double -- | Warning: After the current migration is complete,reactiveOf will -- probably be renamed to reflexOf. reactiveOf :: (forall t m. ReflexCodeWorld t m => m ()) -> IO () -- | Warning: After the current migration is complete,debugReactiveOf -- will probably be renamed to debugReflexOf. debugReactiveOf :: (forall t m. ReflexCodeWorld t m => m ()) -> IO () -- | Type class for the builder monad of a CodeWorld/Reflex app. class (Reflex t, MonadHold t m, MonadFix m, PerformEvent t m, Adjustable t m, MonadIO (Performable m), PostBuild t m) => ReflexCodeWorld t m | m -> t -- | Gets an Event of key presses. The event value is a logical key name. getKeyPress :: ReflexCodeWorld t m => m (Event t Text) -- | Gets an Event of key presses. The event value is a logical key name. getKeyRelease :: ReflexCodeWorld t m => m (Event t Text) -- | Gets an Event of text entered. The event value is the typed text. getTextEntry :: ReflexCodeWorld t m => m (Event t Text) -- | Gets an event of pointer clicks. The event value is the location of -- the click. getPointerClick :: ReflexCodeWorld t m => m (Event t Point) -- | Gets the Dynamic position of the pointer. getPointerPosition :: ReflexCodeWorld t m => m (Dynamic t Point) -- | Gets a Dynamic indicator whether the pointer is held down. isPointerDown :: ReflexCodeWorld t m => m (Dynamic t Bool) -- | Gets an Event indicating the passage of time. getTimePassing :: ReflexCodeWorld t m => m (Event t Double) -- | Emits a given Dynamic picture to be drawn to the screen. draw :: ReflexCodeWorld t m => Dynamic t Picture -> m () data Picture -- | A blank picture blank :: HasCallStack => Picture -- | A thin sequence of line segments, with these points as endpoints polyline :: HasCallStack => [Point] -> Picture -- | A thick sequence of line segments, with given line width and endpoints thickPolyline :: HasCallStack => Double -> [Point] -> Picture -- | A thin polygon with these points as vertices polygon :: HasCallStack => [Point] -> Picture -- | A thick polygon with this line width and these points as vertices thickPolygon :: HasCallStack => Double -> [Point] -> Picture -- | A solid polygon with these points as vertices solidPolygon :: HasCallStack => [Point] -> Picture -- | A smooth curve passing through these points. curve :: HasCallStack => [Point] -> Picture -- | A thick smooth curve with this line width, passing through these -- points. thickCurve :: HasCallStack => Double -> [Point] -> Picture -- | A smooth closed curve passing through these points. closedCurve :: HasCallStack => [Point] -> Picture -- | A thick smooth closed curve with this line width, passing through -- these points. thickClosedCurve :: HasCallStack => Double -> [Point] -> Picture -- | A solid smooth closed curve passing through these points. solidClosedCurve :: HasCallStack => [Point] -> Picture -- | A thin rectangle, with this width and height rectangle :: HasCallStack => Double -> Double -> Picture -- | A solid rectangle, with this width and height solidRectangle :: HasCallStack => Double -> Double -> Picture -- | A thick rectangle, with this line width, and width and height thickRectangle :: HasCallStack => Double -> Double -> Double -> Picture -- | A thin circle, with this radius circle :: HasCallStack => Double -> Picture -- | A solid circle, with this radius solidCircle :: HasCallStack => Double -> Picture -- | A thick circle, with this line width and radius thickCircle :: HasCallStack => Double -> Double -> Picture -- | A thin arc, starting and ending at these angles, with this radius -- -- Angles are in radians. arc :: HasCallStack => 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. sector :: HasCallStack => Double -> Double -> Double -> Picture -- | A thick arc with this line width, starting and ending at these angles, -- with this radius. -- -- Angles are in radians. thickArc :: HasCallStack => Double -> Double -> Double -> Double -> Picture -- | A rendering of text characters. lettering :: HasCallStack => Text -> Picture data TextStyle Plain :: TextStyle Bold :: TextStyle Italic :: TextStyle data Font SansSerif :: Font Serif :: Font Monospace :: Font Handwriting :: Font Fancy :: Font NamedFont :: !Text -> Font -- | A rendering of text characters onto a Picture, with a specific choice -- of font and style. styledLettering :: HasCallStack => TextStyle -> Font -> Text -> Picture -- | A picture drawn entirely in this color. colored :: HasCallStack => Color -> Picture -> Picture -- | A picture drawn entirely in this colour. coloured :: HasCallStack => Color -> Picture -> Picture -- | A picture drawn translated in these directions. translated :: HasCallStack => Double -> Double -> Picture -> Picture -- | A picture scaled by these factors in the x and y directions. scaled :: HasCallStack => Double -> Double -> Picture -> Picture -- | A picture scaled uniformly in all directions by this scale factor. dilated :: HasCallStack => Double -> Picture -> Picture -- | A picture rotated by this angle. -- -- Angles are in radians. rotated :: HasCallStack => Double -> Picture -> Picture pictures :: HasCallStack => [Picture] -> Picture -- | An associative operation. (<>) :: Semigroup a => a -> a -> a infixr 6 <> -- | Binary composition of pictures. (&) :: HasCallStack => Picture -> Picture -> Picture infixr 0 & -- | A coordinate plane. Adding this to your pictures can help you measure -- distances more accurately. -- -- Example: main = drawingOf (myPicture <> coordinatePlane) -- myPicture = ... coordinatePlane :: HasCallStack => Picture -- | The CodeWorld logo. codeWorldLogo :: HasCallStack => Picture type Point = (Double, Double) -- | Move given point by given X-axis and Y-axis offsets >>> -- translatedPoint 1 2 (10,10) (11.0,12.0) >>> translatedPoint -- (-1) (-2) (0,0) (-1.0,-2.0) translatedPoint :: Double -> Double -> Point -> Point rotatedPoint :: Double -> Point -> Point scaledPoint :: Double -> Double -> Point -> Point dilatedPoint :: Double -> Point -> Point type Vector = (Double, Double) vectorLength :: Vector -> Double -- | Given vector, calculate angle in radians that it has with the X-axis. -- -- 
--   >>> vectorDirection (1,0)
--   0.0
--   
--   >>> vectorDirection (1,1)
--   0.7853981633974483
--   
--   >>> vectorDirection (0,1)
--   1.5707963267948966
--
vectorDirection :: Vector -> Double vectorSum :: Vector -> Vector -> Vector vectorDifference :: Vector -> Vector -> Vector scaledVector :: Double -> Vector -> Vector -- | Rotate given vector by given angle in radians -- -- 
--   >>> rotatedVector pi (1.0, 0.0)
--   (-1.0,1.2246467991473532e-16)
--   
--   >>> rotatedVector (pi / 2) (1.0, 0.0)
--   (6.123233995736766e-17,1.0)
--
rotatedVector :: Double -> Vector -> Vector dotProduct :: Vector -> Vector -> Double data Color RGBA :: !Double -> !Double -> !Double -> !Double -> Color type Colour = Color pattern RGB :: Double -> Double -> Double -> Color pattern HSL :: Double -> Double -> Double -> Color black :: Color white :: Color red :: Color green :: Color blue :: Color yellow :: Color orange :: Color brown :: Color pink :: Color purple :: Color gray :: Color grey :: Color mixed :: [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 -- | An infinite list of colors. assortedColors :: [Color] hue :: Color -> Double saturation :: Color -> Double luminosity :: Color -> Double alpha :: Color -> Double module CodeWorld -- | Draws a Picture. This is the simplest CodeWorld entry point. -- -- Example: a program which draws a circle of radius 1 in the middle of -- canvas -- -- 
--   main = drawingOf $ circle 1
--
drawingOf :: Picture -> IO () -- | Shows an animation, with a picture for each time given by the -- parameter. -- -- Example: a program showing a square which rotates once every two -- seconds -- -- 
--   main = animationOf rotatingSquare
--   
--   rotatingSquare :: Double -> Picture
--   rotatingSquare seconds = rotated angle square
--     where
--       square = rectangle 2 2
--       angle = pi * seconds
--
animationOf :: (Double -> Picture) -> IO () -- | Runs an interactive CodeWorld program that responds to Events. -- Activities can interact with the user, change over time, and remember -- information about the past. -- -- Example: a program which draws a circle and changes its radius when -- user presses Up or Down keys on her keyboard -- -- 
--    {-# LANGUAGE OverloadedStrings #-}
--   import CodeWorld
--   
--   main = activityOf initialRadius updateRadius circle
--      where
--        initialRadius = 1
--   
--        updateRadius event radius =
--          case event of
--            KeyPress Up   -> radius + 1
--            KeyPress Down -> radius - 1
--            _               -> radius
--
activityOf :: world -> (Event -> world -> world) -> (world -> Picture) -> IO () -- | A version of activityOf which runs an interactive CodeWorld -- program in debugging mode. In this mode, the program gets controls to -- pause and manipulate time, and even go back in time to look at past -- states. debugActivityOf :: world -> (Event -> world -> world) -> (world -> Picture) -> IO () -- | Runs an interactive multi-user CodeWorld program that is joined by -- several participants over the internet. -- -- Example: a skeleton of a game for two players -- -- 
--   {-# LANGUAGE StaticPointers, OverloadedStrings #-}
--   import CodeWorld
--   
--   main = groupActivityOf 2 init step view
--     where
--       init = static (\gen -> {- initialize state of the game world, possibly using random number generator -})
--       step = static (\playerNumber event world -> {- modify world based on event occuring for given player -})
--       view = static (\playerNumber world -> {- generate a picture that will be shown to given player in the given state of the world-})
--
groupActivityOf :: Int -> StaticPtr (StdGen -> world) -> StaticPtr (Int -> Event -> world -> world) -> StaticPtr (Int -> world -> Picture) -> IO () -- | A version of groupActivityOf that avoids static pointers, and -- does not check for consistency. unsafeGroupActivityOf :: Int -> (StdGen -> world) -> (Int -> Event -> world -> world) -> (Int -> world -> Picture) -> IO () -- | Shows a simulation, which is essentially a continuous-time dynamical -- system described by an initial value and step function. -- | Warning: Please use activityOf instead of simulationOf.simulationOf -- may be removed July 2020. simulationOf :: world -> (Double -> world -> world) -> (world -> Picture) -> IO () -- | Warning: Please use debugActivityOf instead of -- debugSimulationOf.debugSimulationOf may be removed July 2020. debugSimulationOf :: world -> (Double -> 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. -- | Warning: Please use activityOf instead of -- interactionOf.interactionOf may be removed July 2020. interactionOf :: world -> (Double -> world -> world) -> (Event -> world -> world) -> (world -> Picture) -> IO () -- | Warning: Please use debugActivityOf instead of -- debugInteractionOf.debugInteractionOf may be removed July 2020. debugInteractionOf :: world -> (Double -> world -> world) -> (Event -> world -> world) -> (world -> Picture) -> IO () -- | Runs an interactive multi-user CodeWorld program, involving multiple -- participants over the internet. -- | Warning: Please use groupActivityOf instead of -- collaborationOf.collaborationOf may be removed July 2020. collaborationOf :: Int -> StaticPtr (StdGen -> world) -> StaticPtr (Double -> world -> world) -> StaticPtr (Int -> Event -> world -> world) -> StaticPtr (Int -> world -> Picture) -> IO () -- | A version of collaborationOf that avoids static pointers, and -- does not check for consistent parameters. -- | Warning: Please use unsafeGroupActivityOf instead of -- unsafeCollaborationOf.unsafeCollaborationOf may be removed July -- 2020. unsafeCollaborationOf :: Int -> (StdGen -> world) -> (Double -> world -> world) -> (Int -> Event -> world -> world) -> (Int -> world -> Picture) -> IO () data Picture data TextStyle Plain :: TextStyle Bold :: TextStyle Italic :: TextStyle data Font SansSerif :: Font Serif :: Font Monospace :: Font Handwriting :: Font Fancy :: Font NamedFont :: !Text -> Font -- | A blank picture blank :: HasCallStack => Picture -- | A thin sequence of line segments, with these points as endpoints polyline :: HasCallStack => [Point] -> Picture -- | A thin sequence of line segments, with these points as endpoints -- | Warning: Please use polyline instead of path.path may be removed -- July 2020. path :: HasCallStack => [Point] -> Picture -- | A thick sequence of line segments, with given line width and endpoints thickPolyline :: HasCallStack => Double -> [Point] -> Picture -- | A thick sequence of line segments, with given line width and endpoints -- | Warning: Please used thickPolyline instead of thickPath.thickPath -- may be removed July 2020. thickPath :: HasCallStack => Double -> [Point] -> Picture -- | A thin polygon with these points as vertices polygon :: HasCallStack => [Point] -> Picture -- | A thick polygon with this line width and these points as vertices thickPolygon :: HasCallStack => Double -> [Point] -> Picture -- | A solid polygon with these points as vertices solidPolygon :: HasCallStack => [Point] -> Picture -- | A smooth curve passing through these points. curve :: HasCallStack => [Point] -> Picture -- | A thick smooth curve with this line width, passing through these -- points. thickCurve :: HasCallStack => Double -> [Point] -> Picture -- | A smooth closed curve passing through these points. closedCurve :: HasCallStack => [Point] -> Picture -- | A thick smooth closed curve with this line width, passing through -- these points. thickClosedCurve :: HasCallStack => Double -> [Point] -> Picture -- | A solid smooth closed curve passing through these points. solidClosedCurve :: HasCallStack => [Point] -> Picture -- | A thin rectangle, with this width and height rectangle :: HasCallStack => Double -> Double -> Picture -- | A solid rectangle, with this width and height solidRectangle :: HasCallStack => Double -> Double -> Picture -- | A thick rectangle, with this line width, and width and height thickRectangle :: HasCallStack => Double -> Double -> Double -> Picture -- | A thin circle, with this radius circle :: HasCallStack => Double -> Picture -- | A solid circle, with this radius solidCircle :: HasCallStack => Double -> Picture -- | A thick circle, with this line width and radius thickCircle :: HasCallStack => Double -> Double -> Picture -- | A thin arc, starting and ending at these angles, with this radius -- -- Angles are in radians. arc :: HasCallStack => 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. sector :: HasCallStack => Double -> Double -> Double -> Picture -- | A thick arc with this line width, starting and ending at these angles, -- with this radius. -- -- Angles are in radians. thickArc :: HasCallStack => Double -> Double -> Double -> Double -> Picture -- | A rendering of text characters. -- | Warning: Please used lettering instead of text.text may be removed -- July 2020. text :: HasCallStack => Text -> Picture -- | A rendering of text characters. lettering :: HasCallStack => Text -> Picture -- | A rendering of text characters, with a specific choice of font and -- style. -- | Warning: Please used styledLettering instead of -- styledText.styledText may be removed July 2020. styledText :: HasCallStack => TextStyle -> Font -> Text -> Picture -- | A rendering of text characters onto a Picture, with a specific choice -- of font and style. styledLettering :: HasCallStack => TextStyle -> Font -> Text -> Picture -- | A picture drawn entirely in this color. colored :: HasCallStack => Color -> Picture -> Picture -- | A picture drawn entirely in this colour. coloured :: HasCallStack => Color -> Picture -> Picture -- | A picture drawn translated in these directions. translated :: HasCallStack => Double -> Double -> Picture -> Picture -- | A picture scaled by these factors in the x and y directions. scaled :: HasCallStack => Double -> Double -> Picture -> Picture -- | A picture scaled uniformly in all directions by this scale factor. dilated :: HasCallStack => Double -> Picture -> Picture -- | A picture rotated by this angle. -- -- Angles are in radians. rotated :: HasCallStack => Double -> Picture -> Picture pictures :: HasCallStack => [Picture] -> Picture -- | An associative operation. (<>) :: Semigroup a => a -> a -> a infixr 6 <> -- | Binary composition of pictures. (&) :: HasCallStack => Picture -> Picture -> Picture infixr 0 & -- | A coordinate plane. Adding this to your pictures can help you measure -- distances more accurately. -- -- Example: main = drawingOf (myPicture <> coordinatePlane) -- myPicture = ... coordinatePlane :: HasCallStack => Picture -- | The CodeWorld logo. codeWorldLogo :: HasCallStack => Picture type Point = (Double, Double) -- | Move given point by given X-axis and Y-axis offsets >>> -- translatedPoint 1 2 (10,10) (11.0,12.0) >>> translatedPoint -- (-1) (-2) (0,0) (-1.0,-2.0) translatedPoint :: Double -> Double -> Point -> Point rotatedPoint :: Double -> Point -> Point scaledPoint :: Double -> Double -> Point -> Point dilatedPoint :: Double -> Point -> Point type Vector = (Double, Double) vectorLength :: Vector -> Double -- | Given vector, calculate angle in radians that it has with the X-axis. -- -- 
--   >>> vectorDirection (1,0)
--   0.0
--   
--   >>> vectorDirection (1,1)
--   0.7853981633974483
--   
--   >>> vectorDirection (0,1)
--   1.5707963267948966
--
vectorDirection :: Vector -> Double vectorSum :: Vector -> Vector -> Vector vectorDifference :: Vector -> Vector -> Vector scaledVector :: Double -> Vector -> Vector -- | Rotate given vector by given angle in radians -- -- 
--   >>> rotatedVector pi (1.0, 0.0)
--   (-1.0,1.2246467991473532e-16)
--   
--   >>> rotatedVector (pi / 2) (1.0, 0.0)
--   (6.123233995736766e-17,1.0)
--
rotatedVector :: Double -> Vector -> Vector dotProduct :: Vector -> Vector -> Double data Color RGBA :: !Double -> !Double -> !Double -> !Double -> Color type Colour = Color pattern RGB :: Double -> Double -> Double -> Color pattern HSL :: Double -> Double -> Double -> Color black :: Color white :: Color red :: Color green :: Color blue :: Color -- | Warning: Please use HSL(pi, 0.75, 0.5) instead of cyan.The variable -- cyan may be removed July 2020. cyan :: Color -- | Warning: Please use HSL(5 * pi / 3, 0.75, 0.5) instead of -- magenta.The variable magenta may be removed July 2020. magenta :: Color yellow :: Color -- | Warning: Please use HSL(5 * pi / 6, 0.75, 0.5) instead of -- aquamarine.The variable aquamarine may be removed July 2020. aquamarine :: Color orange :: Color -- | Warning: Please use HSL(7 * pi / 6, 0.75, 0.5) instead of azure.The -- variable azure may be removed July 2020. azure :: Color -- | Warning: Please use purple instead of violet.The variable violet -- may be removed July 2020. violet :: Color -- | Warning: Please use HSL(pi / 2, 0.75, 0.5) instead of -- chartreuse.The variable chartreuse may be removed July 2020. chartreuse :: Color -- | Warning: Please use HSL(11 * pi / 6, 0.75, 0.5) instead of rose.The -- variable rose may be removed July 2020. rose :: Color brown :: Color pink :: Color purple :: Color gray :: Color grey :: Color mixed :: [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 -- | An infinite list of colors. assortedColors :: [Color] hue :: Color -> Double saturation :: Color -> Double luminosity :: Color -> Double alpha :: Color -> Double -- | An event initiated by the user. -- -- Values of this type represent events that the user triggers when using -- an interactive program. -- -- 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. -- -- data Event KeyPress :: !Text -> Event KeyRelease :: !Text -> Event PointerPress :: !Point -> Event PointerRelease :: !Point -> Event PointerMovement :: !Point -> Event TextEntry :: !Text -> Event TimePassing :: !Double -> Event -- | 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 sets appropriate buffering to use the -- CodeWorld console. trace :: Text -> a -> a -- | Warning: This is an experimental API. It can change at any -- time. module CodeWorld.App2 data Application :: * -> * defaultApplication :: state -> Application state withTimeStep :: (Double -> state -> state) -> Application state -> Application state withEventHandler :: (Event -> state -> state) -> Application state -> Application state withPicture :: (state -> Picture) -> Application state -> Application state withMultiEventHandler :: (Int -> Event -> state -> state) -> Application state -> Application state withMultiPicture :: (Int -> state -> Picture) -> Application state -> Application state subapplication :: (a -> b) -> (b -> a -> a) -> Application b -> (b -> a) -> Application a applicationOf :: Application world -> IO () -- | Warning: This is an experimental API. It can change at any -- time. module CodeWorld.App data Rule :: * -> * timeRule :: (Double -> state -> state) -> Rule state eventRule :: (Event -> state -> state) -> Rule state pictureRule :: (state -> Picture) -> Rule state multiEventRule :: (Int -> Event -> state -> state) -> Rule state multiPictureRule :: (Int -> state -> Picture) -> Rule state subrule :: (a -> b) -> (b -> a -> a) -> Rule b -> Rule a rules :: [Rule state] -> Rule state applicationOf :: world -> [Rule world] -> IO () unsafeMultiApplicationOf :: Int -> (StdGen -> state) -> [Rule state] -> IO ()