Graphics.Diagrams.Core

Synopsis

• type LPState = LP Var Constant
• type Solution = Map Var Double
• type Constant = Double
• type Expr = LinExpr Var Constant
• data Point' a = Point {
  • xpart :: a
  • ypart :: a
  }
• type Frozen x = x Constant
• type FrozenPoint = Frozen Point'
• type FrozenPath = Frozen Path'
• data Segment v
  • = CurveTo (Point' v) (Point' v) (Point' v)
  • | StraightTo (Point' v)
  • | Cycle
• data Path' a
  • = EmptyPath
  • | Path {
    • startingPoint :: Point' a
    • segments :: [Segment a]
    }
• newtype Decoration = Decoration String
• data LineTip
  • = ToTip
  • | CircleTip
  • | NoTip
  • | StealthTip
  • | LatexTip
  • | ReversedTip LineTip
  • | BracketTip
  • | ParensTip
• type Color = String
• data LineCap
  • = ButtCap
  • | RectCap
  • | RoundCap
• data LineJoin
  • = MiterJoin
  • | RoundJoin
  • | BevelJoin
• type DashPattern = [(Constant, Constant)]
• data PathOptions = PathOptions {
  • _drawColor :: Maybe Color
  • _fillColor :: Maybe Color
  • _lineWidth :: Constant
  • _startTip :: LineTip
  • _endTip :: LineTip
  • _lineCap :: LineCap
  • _lineJoin :: LineJoin
  • _dashPattern :: DashPattern
  • _decoration :: Decoration
  }
• startTip :: Lens' PathOptions LineTip
• lineWidth :: Lens' PathOptions Constant
• lineJoin :: Lens' PathOptions LineJoin
• lineCap :: Lens' PathOptions LineCap
• fillColor :: Lens' PathOptions (Maybe Color)
• endTip :: Lens' PathOptions LineTip
• drawColor :: Lens' PathOptions (Maybe Color)
• decoration :: Lens' PathOptions Decoration
• dashPattern :: Lens' PathOptions DashPattern
• data BoxSpec = BoxSpec {
  • boxWidth, boxHeight, boxDepth :: Double
  }
• nilBoxSpec :: BoxSpec
• data Backend lab m = Backend {
  • _tracePath :: PathOptions -> FrozenPath -> m ()
  • _traceLabel :: forall location x. Monad x => (location -> (FrozenPoint -> m ()) -> x ()) -> (forall a. m a -> x a) -> location -> lab -> x BoxSpec
  }
• tracePath :: forall lab m. Lens' (Backend lab m) (PathOptions -> FrozenPath -> m ())
• traceLabel :: forall lab m location x. Monad x => Getter (Backend lab m) ((location -> (FrozenPoint -> m ()) -> x ()) -> (forall a. m a -> x a) -> location -> lab -> x BoxSpec)
• data Env lab m = Env {
  • _diaTightness :: Constant
  • _diaPathOptions :: PathOptions
  • _diaBackend :: Backend lab m
  }
• diaTightness :: forall lab m. Lens' (Env lab m) Constant
• diaPathOptions :: forall lab m. Lens' (Env lab m) PathOptions
• diaBackend :: forall lab m lab m. Lens (Env lab m) (Env lab m) (Backend lab m) (Backend lab m)
• defaultPathOptions :: PathOptions
• data Freeze m where
  • Freeze :: forall t m. Functor t => (t Constant -> m ()) -> t Expr -> Freeze m
• newtype Diagram lab m a = Dia (RWST (Env lab m) [Freeze m] (Var, LPState) m a)
• freeze :: (Functor t, Monad m) => t Expr -> (t Constant -> m ()) -> Diagram lab m ()
• relax :: Monad m => Constant -> Diagram lab m a -> Diagram lab m a
• tighten :: Monad m => Constant -> Diagram lab m a -> Diagram lab m a
• rawNewVar :: Monad m => Diagram lab m Var
• newVar :: Monad m => Diagram lab m Expr
• newVars :: Monad m => [VarKind] -> Diagram lab m [Expr]
• newVars' :: Monad m => [(VarKind, Bounds Constant)] -> Diagram lab m [Expr]
• runDiagram :: Monad m => Backend lab m -> Diagram lab m a -> m a
• valueIn :: Solution -> Expr -> Double
• variable :: Var -> Expr
• constant :: Constant -> Expr
• (*-) :: Module Constant a => Constant -> a -> a
• avg :: Module Constant a => [a] -> a
• absoluteValue :: Monad m => Expr -> Diagram lab m Expr
• satAll :: Monad m => (Expr -> a -> Diagram lab m b) -> [a] -> Diagram lab m Expr
• maximVar :: Monad m => [Expr] -> Diagram lab m Expr
• minimVar :: Monad m => [Expr] -> Diagram lab m Expr
• (===) :: 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 ()
• minimize :: Monad m => Expr -> Diagram lab m ()
• maximize :: Monad m => Expr -> Diagram lab m ()
• drawText :: Monad m => Point' Expr -> lab -> Diagram lab m BoxSpec
• diaRaw :: Monad m => m a -> Diagram lab m a

Documentation