wumpus-basic-0.17.0: Basic objects and system code built on Wumpus-Core.

Stabilityhighly unstable



ConnImage and ConnGraphic types - these are functional types from the DrawingContext plus start point and end point to a graphic primitive.



type ConnectorImage u a = ConnectorQuery u (ImageAns u a)Source

ConnectorImage - function from DrawingContext and start and end points to a polymorphic answer and a graphic primitive.

type ConnectorGraphic u = ConnectorQuery u (GraphicAns u)Source

ConnectorGraphic - function from DrawingContext and start and end points to a graphic primitive.

type DConnectorImage a = ConnectorImage Double aSource

Type specialized version of ConnectorImage.

intoConnectorImage :: ConnectorQuery u a -> ConnectorGraphic u -> ConnectorImage u aSource

intoConnectorImage : conn_query * conn_graphic -> LocImage

Connector version of intoImage.

The ConnectorImage is built as a function from an implicit start and end points to the answer.

connectorGraphic_ :: ConnectorImage u a -> ConnectorGraphic uSource

Downcast an ConnectorImage to a ConnectorGraphic.

This means forgetting the answer of the Image, replacing it with ().

emptyConnectorGraphic :: InterpretUnit u => ConnectorGraphic uSource

emptyConnectorGraphic : ConnectorGraphic

Build an empty ConnectorGraphic.

The emptyConnectorGraphic is treated as a null primitive by Wumpus-Core and is not drawn, although it does generate a bounding box around the rectangular hull of the start and end points.

uconvConnectorImageF :: (InterpretUnit u, InterpretUnit u1, Functor t) => ConnectorImage u (t u) -> ConnectorImage u1 (t u1)Source

Use this to convert ConnectorGraphic or ConnectorImage with Functor answer.

uconvConnectorImageZ :: (InterpretUnit u, InterpretUnit u1) => ConnectorImage u a -> ConnectorImage u1 aSource

Use this to convert ConnectorImage with unit-less answer.