Diagrams.Puzzles.Lib

Documentation

type Backend' b = (Backend b R2, Renderable (Path R2) b)

vline :: Backend' b => Double -> Diagram b R2

Vertical/horizontal stroked line of given length.

hline :: Backend' b => Double -> Diagram b R2

Vertical/horizontal stroked line of given length.

hcatsep :: (Juxtaposable a, HasOrigin a, Monoid' a, V a ~ R2) => [a] -> a

Variant of hcat' that spreads with distance 1.

vcatsep :: (Juxtaposable a, HasOrigin a, Monoid' a, V a ~ R2) => [a] -> a

Variant of vcat' that spreads with distance 1, and stacks towards the top.

smash :: Backend' b => QDiagram b R2 Any -> QDiagram b R2 Any

Collapse the envelope to a point.

translatep :: (Transformable t, V t ~ R2) => (Int, Int) -> t -> t

Helper to translate by a point given as (Int, Int).

r2i :: (Int, Int) -> R2

Convert pair of Int to vector.

p2i :: (Int, Int) -> P2

Convert pair of Int to point.

mirror :: (Transformable t, V t ~ R2) => t -> t

interleave :: [a] -> [a] -> [a]

Interleave two lists.

spread :: Backend' b => R2 -> [Diagram b R2] -> Diagram b R2

Spread diagrams evenly along the given vector.

dmid :: (Enveloped a, V a ~ R2) => a -> Double

besidesL :: (Backend' b, Semigroup m, Monoid m) => QDiagram b R2 m -> QDiagram b R2 m -> QDiagram b R2 m

Place the second diagram to the right of the first, aligning both vertically. The origin is the origin of the left diagram.

besidesR :: (Backend' b, Semigroup m, Monoid m) => QDiagram b R2 m -> QDiagram b R2 m -> QDiagram b R2 m

Variant of besidesL where the origin is that of the right diagram.

fit :: (Transformable t, Enveloped t, V t ~ R2) => Double -> t -> t

fit f a scales a to fit into a square of size f.

text' :: Backend' b => String -> Diagram b R2

Write text that is centered both vertically and horizontally and that has an envelope. Sized such that single capital characters fit nicely into a square of size 1.

phantom' :: Backend' b => Diagram b R2 -> Diagram b R2

Variant of phantom that forces the argument backend type.