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

data ConnectorImage u a

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

Instances

Decorate ConnectorImage

UConvert ConnectorImage

Monad (ConnectorImage u)

Functor (ConnectorImage u)

Applicative (ConnectorImage u)

DrawingCtxM (ConnectorImage u)

Monoid a => Monoid (ConnectorImage u a)

type ConnectorGraphic u = ConnectorImage u (UNil u)

type DConnectorImage a = ConnectorImage Double a

Type specialized version of ConnectorImage.

type DConnectorGraphic = ConnectorGraphic Double

Type specialized version of ConnectorGraphic.

data ConnectorQuery u a

Instances

Monad (ConnectorQuery u)

Functor (ConnectorQuery u)

Applicative (ConnectorQuery u)

DrawingCtxM (ConnectorQuery u)

Monoid a => Monoid (ConnectorQuery u a)

runConnectorImage :: InterpretUnit u => ConnectorImage u a -> DrawingContext -> Point2 u -> Point2 u -> PrimResult u a

runConnectorQuery :: InterpretUnit u => ConnectorQuery u a -> DrawingContext -> Point2 u -> Point2 u -> a

connect :: InterpretUnit u => Point2 u -> Point2 u -> ConnectorImage u a -> Image u a

stripConnectorImage :: ConnectorImage u a -> ConnectorQuery u a

liftConnectorQuery :: ConnectorQuery u a -> ConnectorImage u a

promoteConn :: InterpretUnit u => (Point2 u -> Point2 u -> Image u a) -> ConnectorImage u a

applyConn :: InterpretUnit u => ConnectorImage u a -> Point2 u -> Point2 u -> Image u a

qpromoteConn :: InterpretUnit u => (Point2 u -> Point2 u -> Query u a) -> ConnectorQuery u a

qapplyConn :: InterpretUnit u => ConnectorQuery u a -> Point2 u -> Point2 u -> Query u a

emptyConnectorImage :: Monoid a => ConnectorImage u a

Having empty at the specific ConnectorImage type is useful.