LSystem.LSystem

Lindenmayer system definition, expander and renderer.

Documentation

type Element = Char

Element of Axiom.

type Axiom = [Element]

An axiom (sequence of Elements).

type Rules = Map Element Axiom

A Map from Elements to Axioms.

data LSystem

An LSystem is an Axiom and a set of Rules.

Constructors

LSystem Axiom Rules

Instances

Eq LSystem

Show LSystem

lSystem :: Axiom -> [(Element, [Element])] -> LSystem

L-System constructor.

 lSystem "F+F+F" [('F',"F-F+F")]

getRule :: Rules -> Element -> [Element]

Rule lookup.

applyRule :: [Element] -> Rules -> [Element]

Rule application.

expand :: LSystem -> Int -> [Element]

n iterations of the specified LSystem.

 expand (lSystem "F+F+F" [('F',"F-F+F")]) 1 == "F-F+F+F-F+F+F-F+F"

stateT :: Element -> Turtle -> Turtle

State transformer Turtle commands.

cmd :: (Turtle -> b -> (Turtle, b)) -> Element -> Turtle -> b -> (Turtle, b)

Operational Turtle commands.

render :: b -> (b -> Pt -> Pt -> b) -> [Element] -> Turtle -> b

Fold over an expanded L-system using standard turtle commands.