-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A different take on an IO system. Based on Amanda's IO loop, this eventloop takes a function that maps input events to output events. It can easily be extended by modules that represent IO devices or join multiple modules together.
--   
--   A different take on an IO system. Based on Amanda's IO loop, this
--   eventloop takes a function that maps input events to output events. It
--   can easily be extended by modules that represent IO devices or join
--   multiple modules together. Each module exists of a initialize and
--   teardown function that are both called once at startup and shutting
--   down. During run-time, a module can provice a preprocessor function
--   (which transforms input events before they get to the eventloop), and
--   a postprocessor function (which transforms output events after they
--   are received from the eventloop but before they are send off). Next to
--   these bookkeeping functions, a module can exist of a (check for events
--   and an event retrieve) function pair which result in input events and
--   an addition to the event sender function which handles output events.
--   This results in the following states: |Start|: initialize ->
--   |Run-Time| -> teardown |Run-Time|: eventCheckers - Yes >
--   preprocessors -> eventloop -> postprocessors -> event sender
--   -> |Run-Time| |- No > |Run-Time| Each module has a piece of
--   "memory"<i>state which is defined by the module itself and all of the
--   module states are combined in the IO state. When writing</i>installing
--   a module, modifications has to be made at certain points in the code
--   due to the poor modularity of Haskell.
@package eventloop
@version 0.4.1.2

module Eventloop.Utility.Vectors
type Angle = Float In degrees
type Radians = Float
type Length = Float
type X = Float
type Y = Float
type Offset = (X, Y)
data PolarCoord
PolarCoord :: (Length, Radians) -> PolarCoord
data Point
Point :: (X, Y) -> Point
degreesToRadians :: Angle -> Radians
radiansToDegrees :: Radians -> Angle
lengthToPoint :: Point -> Length
lengthBetweenPoints :: Point -> Point -> Length
differenceBetweenPoints :: Point -> Point -> (X, Y)
originPoint :: Point
class Translate a
translate :: Translate a => Point -> a -> a
class (RotateLeftAround a) => Vector2D a
(|+|) :: Vector2D a => a -> a -> a
(|-|) :: Vector2D a => a -> a -> a
negateVector :: Vector2D a => a -> a
class ToPoint a
toPoint :: ToPoint a => a -> Point
class ToPolarCoord a
toPolarCoord :: ToPolarCoord a => a -> PolarCoord
class RotateLeftAround a
rotateLeftAround :: RotateLeftAround a => Point -> Angle -> a -> a
instance GHC.Classes.Eq Eventloop.Utility.Vectors.Point
instance GHC.Show.Show Eventloop.Utility.Vectors.Point
instance GHC.Classes.Eq Eventloop.Utility.Vectors.PolarCoord
instance GHC.Show.Show Eventloop.Utility.Vectors.PolarCoord
instance Eventloop.Utility.Vectors.Vector2D Eventloop.Utility.Vectors.PolarCoord
instance Eventloop.Utility.Vectors.Vector2D Eventloop.Utility.Vectors.Point
instance Eventloop.Utility.Vectors.ToPoint Eventloop.Utility.Vectors.PolarCoord
instance Eventloop.Utility.Vectors.ToPolarCoord Eventloop.Utility.Vectors.Point
instance Eventloop.Utility.Vectors.RotateLeftAround Eventloop.Utility.Vectors.PolarCoord
instance Eventloop.Utility.Vectors.RotateLeftAround Eventloop.Utility.Vectors.Point

module Eventloop.Types.Common
type NamedId = [Char]
type NumericId = Int

module Eventloop.Utility.Trees.GeneralTree
data GeneralTree
GeneralTreeBox :: [GeneralNodeContent] -> [(GeneralLine, GeneralTree)] -> GeneralTree
data GeneralNodeContent
GeneralNodeText :: FillColor -> String -> GeneralNodeContent
GeneralNode :: FillColor -> Radius -> GeneralNodeContent
data GeneralLine
GeneralLine :: StrokeColor -> GeneralLine
type LeftOffset = X
type TopOffset = Y
type RightOffset = X
type BottomOffset = Y
type Middle = GraphicalNumeric
type Pos = (X, Y)
class GeneralizeTree a
generalizeTree :: GeneralizeTree a => a -> GeneralTree
textFont :: [Char]
textHeight :: Float
charWidth :: Float
marginBetweenTrees :: Float
marginBetweenNodeContent :: Float
marginBetweenNodeRows :: Float
marginBetweenNodeColumns :: Float
generalNodeDimension :: GeneralTree -> Dimensions
flattenDimensions :: [Dimensions] -> Dimensions
generalNodeContentDimension :: GeneralNodeContent -> Dimensions
layoutGeneralTree :: LeftOffset -> TopOffset -> GeneralTree -> (LayoutTree, RightOffset, BottomOffset)
layoutGeneralTreeChildren :: LeftOffset -> TopOffset -> [(GeneralLine, GeneralTree)] -> ([(LayoutLine, LayoutTree)], RightOffset, BottomOffset)
layoutLine :: GeneralLine -> LayoutLine
layoutGeneralTrees :: LeftOffset -> TopOffset -> [GeneralTree] -> ([LayoutTree], RightOffset, BottomOffset)
layoutGeneralNodeContentList :: Middle -> Height -> [GeneralNodeContent] -> [LayoutNodeContent]
layoutGeneralNodeContent :: Pos -> GeneralNodeContent -> LayoutNodeContent
textSize :: [Char] -> (Float, Float)
treeIndex :: Int -> Offset -> Shape
instance GHC.Classes.Eq Eventloop.Utility.Trees.GeneralTree.GeneralTree
instance GHC.Show.Show Eventloop.Utility.Trees.GeneralTree.GeneralTree
instance GHC.Classes.Eq Eventloop.Utility.Trees.GeneralTree.GeneralLine
instance GHC.Show.Show Eventloop.Utility.Trees.GeneralTree.GeneralLine
instance GHC.Classes.Eq Eventloop.Utility.Trees.GeneralTree.GeneralNodeContent
instance GHC.Show.Show Eventloop.Utility.Trees.GeneralTree.GeneralNodeContent
instance Eventloop.Utility.Trees.GeneralTree.GeneralizeTree Eventloop.Utility.Trees.GeneralTree.GeneralTree

module Eventloop.Types.EventTypes
type EventloopModuleIdentifier = [Char]
type Initializer = SharedIOState -> IOState -> IO (SharedIOState, IOState)
type EventRetriever = SharedIOState -> IOState -> IO (SharedIOState, IOState, [In])
type PreProcessor = SharedIOState -> IOState -> In -> IO (SharedIOState, IOState, [In])
type PostProcessor = SharedIOState -> IOState -> Out -> IO (SharedIOState, IOState, [Out])
type EventSender = SharedIOState -> IOState -> Out -> IO (SharedIOState, IOState)
type Teardown = SharedIOState -> IOState -> IO (SharedIOState, IOState)
type OutEventRouter = Out -> EventloopModuleIdentifier
data EventloopModuleConfiguration
EventloopModuleConfiguration :: EventloopModuleIdentifier -> IOState -> Maybe Initializer -> Maybe EventRetriever -> Maybe PreProcessor -> Maybe PostProcessor -> Maybe Teardown -> Maybe EventSender -> EventloopModuleConfiguration
[moduleIdentifier] :: EventloopModuleConfiguration -> EventloopModuleIdentifier
[iostate] :: EventloopModuleConfiguration -> IOState
[initializer] :: EventloopModuleConfiguration -> Maybe Initializer
[eventRetriever] :: EventloopModuleConfiguration -> Maybe EventRetriever
[preprocessor] :: EventloopModuleConfiguration -> Maybe PreProcessor
[postprocessor] :: EventloopModuleConfiguration -> Maybe PostProcessor
[teardown] :: EventloopModuleConfiguration -> Maybe Teardown
[eventSender] :: EventloopModuleConfiguration -> Maybe EventSender
data EventloopConfiguration progstateT
EventloopConfiguration :: progstateT -> (progstateT -> In -> (progstateT, [Out])) -> OutEventRouter -> SharedIOState -> [EventloopModuleConfiguration] -> EventloopConfiguration progstateT
[progState] :: EventloopConfiguration progstateT -> progstateT
[eventloopFunc] :: EventloopConfiguration progstateT -> progstateT -> In -> (progstateT, [Out])
[outRouter] :: EventloopConfiguration progstateT -> OutEventRouter
[sharedIOState] :: EventloopConfiguration progstateT -> SharedIOState
[moduleConfigurations] :: EventloopConfiguration progstateT -> [EventloopModuleConfiguration]
data In
Start :: In
InKeyboard :: Keyboard -> In
InMouse :: MouseIn -> In
InFile :: FileIn -> In
InTimer :: TimerIn -> In
InStdIn :: StdInIn -> In
InCanvas :: CanvasIn -> In
InGraphs :: GraphsIn -> In
data Out
OutFile :: FileOut -> Out
OutTimer :: TimerOut -> Out
OutStdOut :: StdOutOut -> Out
OutStdIn :: StdInOut -> Out
OutCanvas :: CanvasOut -> Out
OutBasicShapes :: BasicShapesOut -> Out
OutDrawTrees :: DrawTreesOut -> Out
OutGraphs :: GraphsOut -> Out
Stop :: Out
data SharedIOState
SharedIOState :: (CanvasText -> IO ScreenDimensions) -> SharedIOState
[measureText] :: SharedIOState -> CanvasText -> IO ScreenDimensions
data IOState
MouseState :: BufferedReceiveBuffer -> ClientSocket -> Connection -> ServerSocket -> BufferedReaderThread -> IOState
[receiveBuffer] :: IOState -> BufferedReceiveBuffer
[clientSocket] :: IOState -> ClientSocket
[clientConnection] :: IOState -> Connection
[serverSocket] :: IOState -> ServerSocket
[bufferedReaderThread] :: IOState -> BufferedReaderThread
KeyboardState :: BufferedReceiveBuffer -> ClientSocket -> Connection -> ServerSocket -> BufferedReaderThread -> IOState
[receiveBuffer] :: IOState -> BufferedReceiveBuffer
[clientSocket] :: IOState -> ClientSocket
[clientConnection] :: IOState -> Connection
[serverSocket] :: IOState -> ServerSocket
[bufferedReaderThread] :: IOState -> BufferedReaderThread
CanvasState :: ReceiveBuffer -> CanvasUserReceiveBuffer -> CanvasSystemReceiveBuffer -> ClientSocket -> Connection -> ServerSocket -> UnbufferedReaderThread -> Thread -> IOState
[commonReceiveBuffer] :: IOState -> ReceiveBuffer
[canvasUserReceiveBuffer] :: IOState -> CanvasUserReceiveBuffer
[canvasSystemReceiveBuffer] :: IOState -> CanvasSystemReceiveBuffer
[clientSocket] :: IOState -> ClientSocket
[clientConnection] :: IOState -> Connection
[serverSocket] :: IOState -> ServerSocket
[unbufferedReaderThread] :: IOState -> UnbufferedReaderThread
[routerThread] :: IOState -> Thread
StdInState :: [StdInIn] -> IOState
[newStdInInEvents] :: IOState -> [StdInIn]
TimerState :: [StartedTimer] -> [StartedTimer] -> IncomingTickBuffer -> IncomingTickBuffer -> IOState
[startedIntervalTimers] :: IOState -> [StartedTimer]
[startedTimers] :: IOState -> [StartedTimer]
[incomingIntervalTickBuffer] :: IOState -> IncomingTickBuffer
[incomingTickBuffer] :: IOState -> IncomingTickBuffer
FileState :: [FileIn] -> [OpenFile] -> IOState
[newFileInEvents] :: IOState -> [FileIn]
[opened] :: IOState -> [OpenFile]
NoState :: IOState
type APIName = [Char]
type Parameter = [Char]
instance GHC.Show.Show Eventloop.Types.EventTypes.Out
instance GHC.Classes.Eq Eventloop.Types.EventTypes.Out
instance GHC.Show.Show Eventloop.Types.EventTypes.In
instance GHC.Classes.Eq Eventloop.Types.EventTypes.In

module Eventloop.Module.Websocket.Canvas
defaultCanvasModuleConfiguration :: EventloopModuleConfiguration
defaultCanvasModuleIOState :: IOState
canvasModuleIdentifier :: EventloopModuleIdentifier
canvasInitializer :: Initializer
canvasEventRetriever :: EventRetriever
canvasEventSender :: EventSender
canvasTeardown :: Teardown
sendRoutedMessageOut :: Connection -> RoutedMessageOut -> IO ()
router :: ReceiveBuffer -> CanvasUserReceiveBuffer -> CanvasSystemReceiveBuffer -> IO ()
measureText :: IOState -> CanvasId -> CanvasText -> IO ScreenDimensions
type CanvasUserReceiveBuffer = MVar [CanvasIn]
type CanvasSystemReceiveBuffer = MVar SystemCanvasIn
type Opcode = Int
type ScreenMetric = Int
type ScreenX = ScreenMetric
type ScreenY = ScreenMetric
type ScreenWidth = ScreenMetric
type ScreenHeight = ScreenMetric
type ScreenRadius = ScreenMetric
type ScreenAngle = ScreenMetric In degrees
type ScreenPoint = (ScreenX, ScreenY)
type ScreenDimensions = (ScreenWidth, ScreenHeight)
type ScreenStartingPoint = ScreenPoint
type ScreenControlPoint = ScreenPoint
type ScreenEndPoint = ScreenPoint
type ScreenStartingAngle = ScreenAngle
type ScreenEndAngle = ScreenAngle
type CanvasId = NumericId
type ZIndex = Int
type ScreenColorMetric = Int
type ScreenRed = ScreenColorMetric
type ScreenGreen = ScreenColorMetric
type ScreenBlue = ScreenColorMetric
type ScreenAlpha = Float
type ScreenColor = (ScreenRed, ScreenGreen, ScreenBlue, ScreenAlpha)
type ScreenPixel = ScreenColor
type ColorStopOffset = Float
type ScreenCircle = (ScreenPoint, ScreenRadius)
type ScaleUnit = Float
type ScaleX = ScaleUnit
type ScaleY = ScaleUnit
type ScreenLineThickness = ScreenMetric
type FontFamily = [Char]
type FontSize = Int
data RoutedMessageIn
InUserCanvas :: CanvasIn -> RoutedMessageIn
InSystemCanvas :: SystemCanvasIn -> RoutedMessageIn
data RoutedMessageOut
OutUserCanvas :: CanvasOut -> RoutedMessageOut
OutSystemCanvas :: SystemCanvasOut -> RoutedMessageOut

-- | Opcode: 2100
data SystemCanvasIn

-- | Opcode: 2101
SystemMeasuredText :: CanvasId -> CanvasText -> ScreenDimensions -> SystemCanvasIn

-- | Opcode: 2000
data SystemCanvasOut

-- | Opcode: 2001
SystemMeasureText :: CanvasId -> CanvasText -> SystemCanvasOut

-- | Opcode: 0100
data CanvasIn

-- | Opcode: 0101
MeasuredText :: CanvasId -> CanvasText -> ScreenDimensions -> CanvasIn

-- | Reserved type words Type: t | Opcode Arguments: a | List of arguments
--   for that data type Route: r | Either <tt>s</tt> for system or
--   <tt>u</tt> for user Object: o | The object that is beneath
--   
--   Example: {<tt>r</tt>: <tt>s</tt>, <tt>o</tt>: {SystemMeasuredText
--   object}}
--   
--   SystemMeasuredText object: {<tt>t</tt>:2102, <tt>a</tt>:[CanvasId,
--   CanvasText object, ScreenDimensions]}
--   
--   Opcode: 0200
data CanvasOut

-- | Opcode: 0201
SetupCanvas :: CanvasId -> ZIndex -> ScreenDimensions -> CSSPosition -> CanvasOut

-- | Opcode: 0202
TeardownCanvas :: CanvasId -> CanvasOut

-- | Opcode: 0203
CanvasOperations :: CanvasId -> [CanvasOperation] -> CanvasOut

-- | Opcode: 0204
MeasureText :: CanvasId -> CanvasText -> CanvasOut

-- | Opcode: 0300
data CanvasOperation

-- | Opcode: 0301
DrawPath :: ScreenStartingPoint -> [ScreenPathPart] -> PathStroke -> PathFill -> CanvasOperation

-- | Opcode: 0302
DrawText :: CanvasText -> ScreenPoint -> TextStroke -> TextFill -> CanvasOperation

-- | Opcode: 0303
DoTransform :: CanvasTransform -> CanvasOperation

-- | Opcode: 0304
Clear :: ClearPart -> CanvasOperation

-- | Opcode: 0400
data ScreenPathPart

-- | Opcode: 0401
MoveTo :: ScreenPoint -> ScreenPathPart

-- | Opcode: 0402
LineTo :: ScreenPoint -> ScreenPathPart

-- | Opcode: 0403
BezierCurveTo :: ScreenControlPoint -> ScreenControlPoint -> ScreenEndPoint -> ScreenPathPart

-- | Opcode: 0404
QuadraticCurveTo :: ScreenControlPoint -> ScreenEndPoint -> ScreenPathPart

-- | Opcode: 0405
ArcTo :: ScreenControlPoint -> ScreenControlPoint -> ScreenRadius -> ScreenPathPart

-- | Opcode: 0406
Arc :: ScreenCircle -> ScreenStartingAngle -> ScreenEndAngle -> ScreenPathPart

-- | Opcode: 0407
Rectangle :: ScreenPoint -> ScreenDimensions -> ScreenPathPart

-- | Opcode: 0500
type PathRenderStrokeStyle = RenderStyle
data PathStroke

-- | Opcode: 0501
PathStroke :: ScreenLineThickness -> PathRenderStrokeStyle -> PathStroke

-- | Opcode: 0502
NoPathStroke :: PathStroke

-- | Opcode: 0600
type PathRenderFillStyle = RenderStyle
data PathFill

-- | Opcode: 0601
PathFill :: PathRenderFillStyle -> PathFill

-- | Opcode: 0602
NoPathFill :: PathFill

-- | Opcode: 0700
type CanvasColorStop = (ColorStopOffset, ScreenColor)
data RenderStyle

-- | Opcode: 0701
CanvasColor :: ScreenColor -> RenderStyle

-- | Opcode:0702
CanvasGradient :: CanvasGradientType -> [CanvasColorStop] -> RenderStyle

-- | Opcode: 0703
CanvasPattern :: CanvasImage -> PatternRepetition -> RenderStyle

-- | Opcode: 0800
data CanvasImage

-- | Opcode: 0801
CanvasElement :: CanvasId -> ScreenPoint -> ScreenDimensions -> CanvasImage

-- | Opcode: 0802 [ScreenPixel] should be as long as width * height * 4
ImageData :: ScreenDimensions -> [ScreenPixel] -> CanvasImage

-- | Opcode: 0900
data PatternRepetition

-- | Opcode: 0901
Repeat :: PatternRepetition

-- | Opcode: 0902
RepeatX :: PatternRepetition

-- | Opcode: 0903
RepeatY :: PatternRepetition

-- | Opcode: 0904
NoRepeat :: PatternRepetition

-- | Opcode: 1000
data CanvasGradientType

-- | Opcode: 1001 First circle = inner circle, Second circle is enclosing
--   circle
RadialGradient :: ScreenCircle -> ScreenCircle -> CanvasGradientType

-- | Opcode: 1002
LinearGradient :: ScreenPoint -> ScreenPoint -> CanvasGradientType

-- | Opcode: 1200
data CanvasText

-- | Opcode: 1201
CanvasText :: [Char] -> Font -> Alignment -> CanvasText

-- | Opcode: 1300
data Font

-- | Opcode: 1301
Font :: FontFamily -> FontSize -> Font

-- | Opcode: 1400
type TextStrokeRenderStyle = RenderStyle
type TextFillRenderStyle = RenderStyle
data TextStroke

-- | Opcode: 1401
TextStroke :: ScreenLineThickness -> TextStrokeRenderStyle -> TextStroke

-- | Opcode: 1402
NoTextStroke :: TextStroke

-- | Opcode: 2400
data TextFill

-- | Opcode: 2401
TextFill :: TextFillRenderStyle -> TextFill

-- | Opcode: 2402
NoTextFill :: TextFill

-- | Opcode: 1500
data Alignment

-- | Opcode: 1501
AlignLeft :: Alignment

-- | Opcode: 1502
AlignRight :: Alignment

-- | Opcode: 1503
AlignCenter :: Alignment

-- | Opcode: 1504
AlignStart :: Alignment

-- | Opcode: 1505
AlignEnd :: Alignment

-- | Opcode: 1600
type TransformUnit = Float
type TransformationMatrix = (TransformUnit, TransformUnit, TransformUnit, TransformUnit, TransformUnit, TransformUnit)
data CanvasTransform

-- | Opcode: 1601
Save :: CanvasTransform

-- | Opcode: 1602
Restore :: CanvasTransform

-- | Opcode: 1603
Translate :: ScreenPoint -> CanvasTransform

-- | Opcode: 1604
Rotate :: ScreenAngle -> CanvasTransform

-- | Opcode: 1605
Scale :: ScaleX -> ScaleY -> CanvasTransform

-- | Opcode: 1606
Transform :: TransformationMatrix -> CanvasTransform

-- | Opcode: 1607
SetTransform :: TransformationMatrix -> CanvasTransform

-- | Opcode: 1608
ResetTransform :: CanvasTransform

-- | Opcode: 2200
type CSSLeftOffset = CSSUnit
type CSSTopOffset = CSSUnit
type CSSMeasurements = (CSSLeftOffset, CSSTopOffset)
data CSSPosition

-- | Opcode: 2201
CSSPosition :: CSSBindPoint -> CSSMeasurements -> CSSPosition

-- | Opcode: 2300
data CSSBindPoint

-- | Opcode: 2301
CSSFromCenter :: CSSBindPoint

-- | Opcode: 2302 Usually this is the top left corner of the element
CSSFromDefault :: CSSBindPoint

-- | Opcode: 1800
data CSSUnit

-- | Opcode: 1801
CSSPixels :: Int -> CSSUnit

-- | Opcode: 1802
CSSPercentage :: Int -> CSSUnit

-- | Opcode: 1900
data ClearPart

-- | Opcode: 1901
ClearRectangle :: ScreenPoint -> ScreenDimensions -> ClearPart

-- | Opcode: 1902
ClearCanvas :: ClearPart

module Eventloop.Module.Websocket.Keyboard
defaultKeyboardModuleConfiguration :: EventloopModuleConfiguration
defaultKeyboardModuleIOState :: IOState
keyboardModuleIdentifier :: EventloopModuleIdentifier
keyboardInitializer :: Initializer
keyboardEventRetriever :: EventRetriever
keyboardTeardown :: Teardown
data Keyboard
Key :: [Char] -> Keyboard

module Eventloop.Module.Websocket.Mouse
defaultMouseModuleConfiguration :: EventloopModuleConfiguration
defaultMouseModuleIOState :: IOState
mouseModuleIdentifier :: EventloopModuleIdentifier
mouseInitializer :: Initializer
mouseEventRetriever :: EventRetriever
mouseTeardown :: Teardown
data MouseIn
Mouse :: MouseType -> NumericId -> MouseEvent -> Point -> MouseIn
data MouseType
MouseCanvas :: MouseType
MouseSVG :: MouseType
data MouseEvent
Click :: MouseButton -> MouseEvent
DoubleClick :: MouseButton -> MouseEvent
MouseMove :: MouseEvent
MouseDown :: MouseButton -> MouseEvent
MouseUp :: MouseButton -> MouseEvent
MouseEnter :: MouseEvent
MouseLeave :: MouseEvent
data MouseButton
MouseLeft :: MouseButton
MouseRight :: MouseButton
MouseMiddle :: MouseButton

module Eventloop.Module.DrawTrees
data DrawTreesOut
DrawTrees :: CanvasId -> [GeneralTree] -> DrawTreesOut
data NodeColor
NodeRed :: NodeColor
NodeBlack :: NodeColor
NodeGrey :: NodeColor
data RBTree
RBNode :: NodeColor -> String -> [RBTree] -> RBTree
data RoseTree
RoseNode :: String -> [RoseTree] -> RoseTree
defaultDrawTreesModuleConfiguration :: EventloopModuleConfiguration
defaultDrawTreesModuleIOState :: IOState
drawTreesModuleIdentifier :: EventloopModuleIdentifier
drawTreesPostProcessor :: PostProcessor
maxWidth :: Int
showGeneralTreeList :: [GeneralTree] -> (Shape, RightOffset, BottomOffset)
showGeneralTreeList' :: LeftOffset -> TopOffset -> Float -> Int -> [GeneralTree] -> (Shape, RightOffset, BottomOffset)
showGeneralTree :: LeftOffset -> TopOffset -> Int -> GeneralTree -> (Shape, RightOffset, BottomOffset)
nodeColorToFillColor :: NodeColor -> FillColor
rbExampleTree :: RBTree
roseExampleTree :: RoseTree

module Eventloop.Module.BasicShapes
defaultBasicShapesModuleConfiguration :: EventloopModuleConfiguration
defaultBasicShapesModuleIOState :: IOState
basicShapesModuleIdentifier :: EventloopModuleIdentifier
basicShapesPostProcessor :: PostProcessor
type GraphicalNumeric = Float
type Translation = Point
type Width = GraphicalNumeric
type Height = GraphicalNumeric
type Dimensions = (Width, Height)
type Radius = GraphicalNumeric
type Red = GraphicalNumeric
type Green = GraphicalNumeric
type Blue = GraphicalNumeric
type Alpha = GraphicalNumeric
type Color = (Red, Green, Blue, Alpha)
type FillColor = Color
type StrokeColor = Color
type StrokeLineThickness = GraphicalNumeric
type UpperLeft = Point
type UpperRight = Point
type LowerLeft = Point
type LowerRight = Point
type AmountOfPoints = Int
type FontFamily = [Char]
type FontSize = GraphicalNumeric
data BasicShapesOut
DrawShapes :: CanvasId -> [Shape] -> BasicShapesOut
data Shape
BaseShape :: Primitive -> StrokeLineThickness -> StrokeColor -> (Maybe Rotation) -> Shape
[primitive] :: Shape -> Primitive
[strokeLineThickness] :: Shape -> StrokeLineThickness
[strokeColor] :: Shape -> StrokeColor
[rotationM] :: Shape -> (Maybe Rotation)

-- | Should contain atleast 1 shape
CompositeShape :: [Shape] -> (Maybe Translation) -> (Maybe Rotation) -> Shape
[shapes] :: Shape -> [Shape]
[translationM] :: Shape -> (Maybe Translation)
[rotationM] :: Shape -> (Maybe Rotation)
data Primitive

-- | Translation is upperleftcorner
Rectangle :: Translation -> Dimensions -> FillColor -> Primitive

-- | | Translation is the corner closes to origin. Visually in canvas, this
--   is top left. In a Cartesian coördinate system, this is bottom left.
[translation] :: Primitive -> Translation
[dimensions] :: Primitive -> Dimensions
[fillColor] :: Primitive -> FillColor

-- | Translation is center
Circle :: Translation -> Radius -> FillColor -> Primitive

-- | | Translation is the corner closes to origin. Visually in canvas, this
--   is top left. In a Cartesian coördinate system, this is bottom left.
[translation] :: Primitive -> Translation
[radius] :: Primitive -> Radius
[fillColor] :: Primitive -> FillColor

-- | The first point of the polygon, always starts in the direction from
--   the x-axis.(Towards x-infinity)
Polygon :: AmountOfPoints -> Translation -> Radius -> FillColor -> Primitive
[amountOfPoints] :: Primitive -> AmountOfPoints

-- | | Translation is the corner closes to origin. Visually in canvas, this
--   is top left. In a Cartesian coördinate system, this is bottom left.
[translation] :: Primitive -> Translation
[radius] :: Primitive -> Radius
[fillColor] :: Primitive -> FillColor

-- | Translation is horizontally the center and vertically the top of the
--   text, does not have a boundingbox due to technical limitations
Text :: [Char] -> FontFamily -> FontSize -> Translation -> FillColor -> Primitive
[text] :: Primitive -> [Char]
[fontFamily] :: Primitive -> FontFamily
[fontSize] :: Primitive -> FontSize

-- | | Translation is the corner closes to origin. Visually in canvas, this
--   is top left. In a Cartesian coördinate system, this is bottom left.
[translation] :: Primitive -> Translation
[fillColor] :: Primitive -> FillColor
Line :: Point -> Point -> Primitive
[point1] :: Primitive -> Point
[point2] :: Primitive -> Point
MultiLine :: Point -> Point -> [Point] -> Primitive
[point1] :: Primitive -> Point
[point2] :: Primitive -> Point
[otherPoints] :: Primitive -> [Point]
data Rotation

-- | | Rotation is around a point on the canvas. May be the centre of the
--   boundingbox (enclosing rectangle) or an arbitrary point. Angle is in
--   degrees and counter-clockwise in the coördinate system(from the x-axis
--   to the y-axis) and visually on canvas clock-wise.
Rotation :: RotatePoint -> Angle -> Rotation
data RotatePoint
AroundCenter :: RotatePoint
AroundPoint :: Point -> RotatePoint
data BoundingBox

-- | | The point indications are from the perspective of a regular
--   Cartesian coördinate system.
BoundingBox :: LowerLeft -> UpperLeft -> UpperRight -> LowerRight -> BoundingBox
type CanvasId = NumericId
addBoundingBox :: BoundingBox -> BoundingBox -> BoundingBox
foldBoundingBoxes :: (BoundingBox -> BoundingBox -> BoundingBox) -> [BoundingBox] -> BoundingBox
opOnBoundingBox :: (Point -> Point) -> BoundingBox -> BoundingBox
allPolygonPoints :: AmountOfPoints -> Point -> Radius -> [Point]
roundPoint :: Point -> ScreenPoint
roundColor :: Color -> ScreenColor
class (ToBoundingBox a) => ToCenter a
toCenter :: ToCenter a => a -> Point
class ToBoundingBox a
toBoundingBox :: ToBoundingBox a => a -> BoundingBox
findRotationPoint :: (ToCenter a) => a -> Rotation -> Point
class ToCanvasOut a
toCanvasOut :: ToCanvasOut a => a -> CanvasOut
class ToCanvasOperations a
toCanvasOperations :: ToCanvasOperations a => a -> [CanvasOperation]
class ToScreenPathPart a
toScreenPathParts :: ToScreenPathPart a => a -> ([ScreenPathPart], ScreenStartingPoint, Maybe FillColor)

module Eventloop.Module.File
defaultFileModuleConfiguration :: EventloopModuleConfiguration
defaultFileModuleIOState :: IOState
fileModuleIdentifier :: EventloopModuleIdentifier
fileEventRetriever :: EventRetriever
fileEventSender :: EventSender
fileTeardown :: Teardown
type OpenFile = (FilePath, Handle, IOMode)
data FileIn
FileOpened :: FilePath -> Bool -> FileIn
FileClosed :: FilePath -> Bool -> FileIn
RetrievedContents :: FilePath -> [[Char]] -> FileIn
RetrievedLine :: FilePath -> [Char] -> FileIn
RetrievedChar :: FilePath -> Char -> FileIn
IsEOF :: FilePath -> Bool -> FileIn
WroteTo :: FilePath -> Bool -> FileIn
data FileOut
OpenFile :: FilePath -> IOMode -> FileOut
CloseFile :: FilePath -> FileOut
RetrieveContents :: FilePath -> FileOut
RetrieveLine :: FilePath -> FileOut
RetrieveChar :: FilePath -> FileOut
IfEOF :: FilePath -> FileOut
WriteTo :: FilePath -> [Char] -> FileOut

module Eventloop.Module.StdIn
defaultStdInModuleConfiguration :: EventloopModuleConfiguration
defaultStdInModuleIOState :: IOState
stdInModuleIdentifier :: EventloopModuleIdentifier
stdInEventRetriever :: EventRetriever
stdInEventSender :: EventSender
data StdInIn
StdInReceivedContents :: [[Char]] -> StdInIn
StdInReceivedLine :: [Char] -> StdInIn
StdInReceivedChar :: Char -> StdInIn
data StdInOut
StdInReceiveContents :: StdInOut
StdInReceiveLine :: StdInOut
StdInReceiveChar :: StdInOut

module Eventloop.Module.StdOut
defaultStdOutModuleConfiguration :: EventloopModuleConfiguration
stdOutModuleIdentifier :: EventloopModuleIdentifier
stdOutEventSender :: EventSender
data StdOutOut
StdOutMessage :: [Char] -> StdOutOut

module Eventloop.Module.Timer
defaultTimerModuleConfiguration :: EventloopModuleConfiguration
defaultTimerModuleIOState :: IOState
timerModuleIdentifier :: EventloopModuleIdentifier
timerInitializer :: Initializer
timerEventRetriever :: EventRetriever
timerEventSender :: EventSender
timerTeardown :: Teardown
type MicroSecondDelay = Int
type TimerId = [Char]
type IncomingTickBuffer = MVar [TimerIn]
type StartedTimer = (TimerId, TimerIO)
type TimerStartFunction = TimerIO -> IO () -> Delay -> IO Bool
data TimerIn
Tick :: TimerId -> TimerIn
data TimerOut
SetTimer :: TimerId -> MicroSecondDelay -> TimerOut
SetIntervalTimer :: TimerId -> MicroSecondDelay -> TimerOut
UnsetTimer :: TimerId -> TimerOut

module Eventloop.RouteEvent
routeOutEvent :: OutEventRouter

module Eventloop.Module.Graphs
defaultGraphsModuleConfiguration :: EventloopModuleConfiguration
defaultGraphsModuleIOState :: IOState
graphsModuleIdentifier :: EventloopModuleIdentifier
nodeRadius :: Float
textSize :: Float
textFont :: [Char]
xArrowSize :: Float
yArrowSize :: Float
weightHeight :: Float
dimCanvasGraphs :: (Float, Float)
roundDimCanvasGraphs :: (Int, Int)
canvasGraphsWidth :: Float
canvasGraphsHeight :: Float
instructionsHeight :: Float
instructionsBeginAt :: Float
canvasInstrWidth :: Float
canvasInstrHeight :: Float
dimCanvasInstr :: (Float, Float)
roundDimCanvasInstr :: (Int, Int)
canvasIdGraphs :: CanvasId
canvasIdInstructions :: CanvasId

-- | Checkes to see if there is a node on a certain position
onNode :: [Node] -> Pos -> Maybe Node

-- | Abstracts the standardized <a>EventTypes</a> to <a>GraphsIn</a>
graphsPreProcessor :: PreProcessor

-- | Abstracts <a>GraphsOut</a> back to <tt>BasicShapes</tt> and
--   <tt>Canvas</tt> events
graphsPostProcessor :: PostProcessor

-- | Translates color datatype to RGBA codes
colorToRGBAColor :: Color -> Color

-- | Translates the thickness to a float
thicknessToFloat :: Thickness -> StrokeLineThickness
findNode :: [Node] -> Label -> Node
graphToShapes :: Graph -> [Shape]
nodeToShapes :: Node -> [Shape]
edgeToShapes :: Node -> Node -> Edge -> Directed -> Weighted -> [Shape]

-- | Returns the point when making a step f long from the point start in
--   the direction of the vector. The length between start pos and result
--   pos is always f.
posOnVector :: Float -> Vector -> Pos -> Pos

-- | Vector from p1 to p2
vectorize :: Pos -> Pos -> Vector

-- | Returns the vector perpendicular on the given vector between the 2
--   points. Always has positive y and vector length 1; y is inverted in
--   canvas
downPerpendicularTo :: Pos -> Pos -> Vector

-- | Returns the vector perpendicular on the given vector between the 2
--   points. Always has negative y and vector length 1; y is inverted in
--   canvas
upPerpendicularTo :: Pos -> Pos -> Vector

-- | Returns the size of the vector
vectorSize :: Vector -> Float
type Pos = (Float, Float)
type Vector = (Float, Float)
data GraphsIn
Mouse :: MouseEvent -> Pos -> GraphsIn
Key :: [Char] -> GraphsIn
data GraphsOut
SetupGraphs :: GraphsOut
DrawGraph :: Graph -> GraphsOut
Instructions :: [String] -> GraphsOut
type Label = Char
type Weight = Float
type Node = (Label, Pos, Color)
type Edge = (Label, Label, Color, Weight, Thickness)
data Graph
Graph :: [Node] -> [Edge] -> Directed -> Weighted -> Graph
[nodes] :: Graph -> [Node]
[edges] :: Graph -> [Edge]
[directed] :: Graph -> Directed
[weighted] :: Graph -> Weighted
data Color
Red :: Color
Blue :: Color
Green :: Color
Purple :: Color
Grey :: Color
Yellow :: Color
Orange :: Color
Black :: Color
White :: Color
data Thickness
Thin :: Thickness
Thick :: Thickness
data Directed
Directed :: Directed
Undirected :: Directed
data Weighted
Weighted :: Weighted
Unweighted :: Weighted
data MouseEvent
Click :: MouseButton -> MouseEvent
DoubleClick :: MouseButton -> MouseEvent
MouseMove :: MouseEvent
MouseDown :: MouseButton -> MouseEvent
MouseUp :: MouseButton -> MouseEvent
MouseEnter :: MouseEvent
MouseLeave :: MouseEvent
data MouseButton
MouseLeft :: MouseButton
MouseRight :: MouseButton
MouseMiddle :: MouseButton

module Eventloop.EventloopCore
startMainloop :: EventloopConfiguration progstateT -> IO ()

module Eventloop.DefaultConfiguration
allModulesEventloopConfiguration :: progstateT -> (progstateT -> In -> (progstateT, [Out])) -> EventloopConfiguration progstateT
defaultSharedIOState :: SharedIOState