Wumpus.Basic.Kernel.Objects.Connector

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

Documentation

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

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

type ConnectorGraphic u = ConnectorQuery u (GraphicAns u)

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

type DConnectorImage a = ConnectorImage Double a

Type specialized version of ConnectorImage.

type DConnectorGraphic = ConnectorGraphic Double

Type specialized version of ConnectorGraphic.

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

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 u

Downcast an ConnectorImage to a ConnectorGraphic.

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

emptyConnectorGraphic :: InterpretUnit u => ConnectorGraphic u

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)

Use this to convert ConnectorGraphic or ConnectorImage with Functor answer.

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

Use this to convert ConnectorImage with unit-less answer.