Wumpus.Basic.Kernel.Base.ContextFun

Function types operating over the DrawingContext as a static argument.

Context functional type

data CF a

Most drawing operations in Wumpus-Basic have an implicit graphics state the DrawingContext, so the most primitive building block is a function from the DrawingContext to some polymorphic answer.

This functional type is represented concretely as the initials CF for contextual function.

 CF :: DrawingContext -> a 

Instances

Monad CF

Functor CF

Applicative CF

DrawingCtxM CF

Monoid a => Monoid (CF a)

Rotate a => Rotate (CF a)

RotateAbout a => RotateAbout (CF a)

Scale a => Scale (CF a)

Translate a => Translate (CF a)

OPlus a => OPlus (CF a)

Alias

type Query a = CF a

Alias for CF. Wumpus considers Context functions that don't produce graphics to be queries.

 Query :: DrawingContext -> a 

Query has no unit type parameter.

Run function

runCF :: DrawingContext -> CF a -> a

Run a CF (context function) with the supplied DrawingContext.

Construction

consCF :: (DrawingContext -> a) -> CF a

Construction function.

domMap1 :: (r1 -> r1) -> CF (r1 -> a) -> CF (r1 -> a)

domMap2 :: (r1 -> r1) -> (r2 -> r2) -> CF (r1 -> r2 -> a) -> CF (r1 -> r2 -> a)

promoteR1 :: (r1 -> CF a) -> CF (r1 -> a)

promoteR2 :: (r1 -> r2 -> CF a) -> CF (r1 -> r2 -> a)

pushR0 :: (a -> a1) -> CF a -> CF a1

Apply the value transformer to the answer of the context function. Figuratively push it right so it works on the answer.

 pushR0 = fmap

pushR1 :: (a -> a1) -> CF (r1 -> a) -> CF (r1 -> a1)

Apply the value transformer to the answer of the context function. Figuratively push it right so it works on the answer.

 pushR1 = fmap . fmap

pushR2 :: (a -> a1) -> CF (r1 -> r2 -> a) -> CF (r1 -> r2 -> a1)

Apply the value transformer to the answer of the context function. Figuratively push it right so it works on the answer.

 pushR2 = fmap . fmap . fmap 

apply1R1 :: CF (r1 -> a) -> r1 -> CF a

apply1R2 :: CF (r1 -> r2 -> a) -> r2 -> CF (r1 -> a)

apply2R2 :: CF (r1 -> r2 -> a) -> r1 -> r2 -> CF a

lift0R1 :: CF a -> CF (r1 -> a)

lift0R2 :: CF a -> CF (r1 -> r2 -> a)

lift1R2 :: CF (r1 -> a) -> CF (r1 -> r2 -> a)

uconvR0 :: (FontSize -> ans -> ans1) -> CF ans -> CF ans1

uconvR1 :: (Functor t, InterpretUnit u, InterpretUnit u1) => (FontSize -> ans -> ans1) -> CF (t u -> ans) -> CF (t u1 -> ans1)

uconvR2a :: (Functor t, InterpretUnit u, InterpretUnit u1) => (FontSize -> ans -> ans1) -> CF (t u -> r2 -> ans) -> CF (t u1 -> r2 -> ans1)

uconvR2ab :: (Functor t1, Functor t2, InterpretUnit u, InterpretUnit u1) => (FontSize -> ans -> ans1) -> CF (t1 u -> t2 u -> ans) -> CF (t1 u1 -> t2 u1 -> ans1)

drawingCtx :: Query DrawingContext

Extract the drawing context from a CtxFun.

 (ctx -> ctx)