FMP

Documentation

module FMP.Canvas

module FMP.Color

module FMP.Core

module FMP.File

module FMP.Frames

module FMP.Matrix

module FMP.Picture

data Doc :: *

The abstract type of documents. A Doc represents a set of layouts. A Doc with no occurrences of Union or NoDoc represents just one layout.

Instances

Eq Doc

Methods

(==) :: Doc -> Doc -> Bool

(/=) :: Doc -> Doc -> Bool

Show Doc

Methods

showsPrec :: Int -> Doc -> ShowS

show :: Doc -> String

showList :: [Doc] -> ShowS

IsString Doc

Methods

fromString :: String -> Doc

Generic Doc

Associated Types

type Rep Doc :: * -> *

Methods

from :: Doc -> Rep Doc x

to :: Rep Doc x -> Doc

Semigroup Doc

Methods

(<>) :: Doc -> Doc -> Doc

sconcat :: NonEmpty Doc -> Doc

stimes :: Integral b => b -> Doc -> Doc

Monoid Doc

Methods

mempty :: Doc

mappend :: Doc -> Doc -> Doc

mconcat :: [Doc] -> Doc

NFData Doc

Methods

rnf :: Doc -> ()

type Rep Doc

type Rep Doc = D1 * (MetaData "Doc" "Text.PrettyPrint.HughesPJ" "pretty-1.1.3.3" True) (C1 * (MetaCons "Doc" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Doc ()))))

module FMP.RedBlack

module FMP.Resolve

module FMP.Symbols

module FMP.Syntax

module FMP.Term

module FMP.Tree

module FMP.Turtle

module FMP.Types

metaPost :: Int -> Picture -> Parameters -> MetaPost

generate :: IsPicture a => String -> Int -> a -> IO ()

emit|s a file called NAME.MP (or NAME.NUMBER.MP in not |newmp|) with a beginfig(NUMBER) in it, and runs MetaPost on it. The conversion to |MetaPost|, which |HasEmit|, is done by |metaPost|. Finally, the emitted |Doc| is |show|n.

wferi )

funcmp :: IsPicture a => String -> Int -> a -> IO ()