Graphics.Diagrams.Core

Documentation

module Graphics.Diagrams.Types

data Expr

Instances

Additive Expr

Methods

(+) :: Expr -> Expr -> Expr

zero :: Expr

times :: Natural -> Expr -> Expr

AbelianAdditive Expr

Group Expr

Methods

(-) :: Expr -> Expr -> Expr

negate :: Expr -> Expr

mult :: Integer -> Expr -> Expr

Module Rational Expr

Methods

(*^) :: Rational -> Expr -> Expr

Module Constant Expr

Methods

(*^) :: Constant -> Expr -> Expr

constant :: Double -> Expr

Embed a constant in an expression

absE :: IsDouble a => a -> a

newVars :: Monad m => [String] -> Diagram lab m [Expr]

minimize :: Monad m => Expr -> Diagram lab m ()

maximize :: Monad m => Expr -> Diagram lab m ()

(===) :: Expr -> Expr -> Monad m => Diagram lab m () infix 4

(>==) :: Expr -> Expr -> Monad m => Diagram lab m () infix 4

(<==) :: Expr -> Expr -> Monad m => Diagram lab m () infix 4

(=~=) :: Monad m => Expr -> Expr -> Diagram lab m ()

minimize the distance between expressions

newtype Diagram lab m a

Constructors

Dia

Fields

• fromDia :: RWST (Env lab m) [Freeze m] DiagramState m a

Instances

Monad m => Monad (Diagram lab m)

Methods

(>>=) :: Diagram lab m a -> (a -> Diagram lab m b) -> Diagram lab m b

(>>) :: Diagram lab m a -> Diagram lab m b -> Diagram lab m b

return :: a -> Diagram lab m a

fail :: String -> Diagram lab m a

Functor m => Functor (Diagram lab m)

Methods

fmap :: (a -> b) -> Diagram lab m a -> Diagram lab m b

(<$) :: a -> Diagram lab m b -> Diagram lab m a

Monad m => Applicative (Diagram lab m)

Methods

pure :: a -> Diagram lab m a

(<*>) :: Diagram lab m (a -> b) -> Diagram lab m a -> Diagram lab m b

(*>) :: Diagram lab m a -> Diagram lab m b -> Diagram lab m b

(<*) :: Diagram lab m a -> Diagram lab m b -> Diagram lab m a

Monad m => MonadReader (Env lab m) (Diagram lab m)

Methods

ask :: Diagram lab m (Env lab m)

local :: (Env lab m -> Env lab m) -> Diagram lab m a -> Diagram lab m a

reader :: (Env lab m -> a) -> Diagram lab m a

runDiagram :: Monad m => Backend lab m -> Diagram lab m a -> m a

drawText :: Monad m => Point' Expr -> lab -> Diagram lab m BoxSpec

freeze :: (Functor t, Monad m) => t Expr -> (t Constant -> m ()) -> Diagram lab m ()

freeze x f performs f on the frozen value of x.

relax :: Monad m => Rational -> Diagram lab m a -> Diagram lab m a

Relax the optimisation functions by the given factor

tighten :: Monad m => Rational -> Diagram lab m a -> Diagram lab m a

Tighten the optimisation functions by the given factor

registerNonOverlap :: Monad m => Point' Expr -> Point' Expr -> Diagram lab m ()