Safe Haskell | None |
---|---|
Language | Haskell2010 |
- module Graphics.Diagrams.Types
- type Expr = LinFunc Var Constant
- constant :: Constant -> Expr
- 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 ()
- (>==) :: Expr -> Expr -> Monad m => Diagram lab m ()
- (<==) :: Expr -> Expr -> Monad m => Diagram lab m ()
- (=~=) :: Monad m => GExpr -> GExpr -> Diagram lab m ()
- type GExpr = E Var Constant
- minimize' :: Monad m => GExpr -> Diagram lab m ()
- maximize' :: Monad m => GExpr -> Diagram lab m ()
- fromLinear :: Expr -> GExpr
- newtype Diagram lab m a = Dia {}
- 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 ()
- relax :: Monad m => Rational -> Diagram lab m a -> Diagram lab m a
- tighten :: Monad m => Rational -> Diagram lab m a -> Diagram lab m a
- registerNonOverlap :: Monad m => Point' Expr -> Point' Expr -> Diagram lab m ()
Documentation
module Graphics.Diagrams.Types
(=~=) :: Monad m => GExpr -> GExpr -> Diagram lab m () Source #
minimize the distance between expressions
fromLinear :: Expr -> GExpr Source #
freeze :: (Functor t, Monad m) => t Expr -> (t Constant -> m ()) -> Diagram lab m () Source #
freeze x f
performs f
on the frozen value of x
.
relax :: Monad m => Rational -> Diagram lab m a -> Diagram lab m a Source #
Relax the optimisation functions by the given factor