Diagrams.Example.Logo

Source code for creating the diagrams logo.

Documentation

d :: (Typeable * n, RealFloat n, Renderable (Path V2 n) b) => QDiagram b V2 n Any

ico_d :: (Typeable * n, RealFloat n, Renderable (Path V2 n) b) => QDiagram b V2 n Any

i :: (Typeable * n, RealFloat n, TrailLike (QDiagram b V2 n m), Monoid m, Semigroup m) => QDiagram b V2 n m

sierpinski :: ((~#) (* -> *) (* -> *) (V t) V2, HasOrigin t, Alignable t, TrailLike t, Num t1, Juxtaposable t, Semigroup t, Eq t1) => t1 -> t

a1 :: ((~#) (* -> *) (* -> *) (V b) V2, Transformable b, Semigroup b, Juxtaposable b, TrailLike b, Alignable b, HasOrigin b, Typeable * (N b), HasStyle b) => b

grid :: ((~#) (* -> *) (* -> *) (V a) V2, Transformable a, Alignable a, Monoid a, HasOrigin a, Juxtaposable a, TrailLike a, Semigroup a) => a

gbkg :: forall b n m. (TrailLike (QDiagram b V2 n m), Monoid m, Semigroup m, TypeableFloat n) => QDiagram b V2 n m

g :: (Renderable (Text n) b, Renderable (Path V2 n) b, RealFloat n, Typeable * n) => QDiagram b V2 n Any

r :: (Renderable (Path V2 n) b, RealFloat n, Typeable * n) => QDiagram b V2 n Any

aTree :: BTree ()

a2 :: (Typeable * n, TrailLike (QDiagram b V2 n m), Ord n, Floating n, Semigroup m, Monoid m) => QDiagram b V2 n m

m :: (Renderable (Text n) b, Renderable (Path V2 n) b, RealFloat n, Typeable * n) => QDiagram b V2 n Any

ps :: Fractional n => [P2 n]

s :: ((~#) (* -> *) (* -> *) (V b) V2, HasStyle b, Typeable * (N b), TrailLike b, Transformable b, HasOrigin b, Semigroup b, Monoid b) => b

disk :: ((~#) (* -> *) (* -> *) (V b) V2, Transformable b, TrailLike b, Typeable * (N b), HasStyle b) => Colour Double -> b

logo :: (Typeable * n, RealFloat n, Renderable (Text n) b, Renderable (Path V2 n) b) => QDiagram b V2 n Any