Fadno.Braids.Graphics

Diagrams for braids.

Documentation

data DrawConf

Configure braid/strand drawing.

Constructors

DrawConf

Fields

• stepWidth :: Int

  step width (and height)

• strandWidth :: Double

  strand line width

• crossGap :: Double

  value > 0 and <= 1 specifying gap for "under" strands

Instances

Default DrawConf

Defined in Fadno.Braids.Graphics

Methods

def :: DrawConf

renderBraid :: Braid b a => DrawConf -> [BraidDrawF a] -> FilePath -> b a -> IO ()

Draw a braid with specified stepWidth and draw decorators.

type BraidDrawF a = [Strand a] -> [Diagram B] -> [Diagram B]

Modify braid drawing, with strand data and diagrams.

renderStrand :: Integral a => DrawConf -> [StrandDrawF a] -> FilePath -> Colour Double -> Strand a -> IO ()

Draw a strand with specified stepWidth, color, and draw decorators.

type StrandDrawF a = Strand a -> Diagram B -> Diagram B

Modify a single-strand drawing, with strand and diagram.

colorStrands :: BraidDrawF a

Color a braid's strands separately.

colorLoops :: forall a. (Eq a, Show a) => BraidDrawF a

Color a braid's loops, such that looped strands have the same color.

gridStrand :: Integral a => StrandDrawF a

Draw a grid behind a single strand.

renderBraids :: Braid b a => DrawConf -> [BraidDrawF a] -> FilePath -> [[b a]] -> IO ()

Draw rows and columns of braids with specified stepWidth and draw decorators.

randomBraid :: Int -> IO (MultiGen Int)

Create a roughly square braid with specified strand count.