Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- module Graphics.Diagrams.Types
- data Expr
- constant :: Double -> Expr
- absE :: IsDouble a => a -> a
- newVar :: 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 => Expr -> Expr -> Diagram lab m ()
- 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 => Expr -> Expr -> Diagram lab m () Source #
minimize the distance between expressions
newtype Diagram lab m a Source #
Instances
Monad m => Monad (Diagram lab m) Source # | |
Functor m => Functor (Diagram lab m) Source # | |
MonadFail m => MonadFail (Diagram lab m) Source # | |
Defined in Graphics.Diagrams.Core | |
Monad m => Applicative (Diagram lab m) Source # | |
Defined in Graphics.Diagrams.Core pure :: a -> Diagram lab m a # (<*>) :: Diagram lab m (a -> b) -> Diagram lab m a -> Diagram lab m b # liftA2 :: (a -> b -> c) -> Diagram lab m a -> Diagram lab m b -> Diagram lab m c # (*>) :: 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) 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