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 p) V2, Eq t, HasOrigin p, Alignable p, Num t, TrailLike p, Juxtaposable p, Semigroup p) => t -> p

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

grid :: ((~#) (* -> *) (* -> *) (V a) V2, Semigroup a, TrailLike a, Monoid a, HasOrigin a, Juxtaposable a, Alignable a, Transformable 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, Typeable * (N b), Semigroup b, Monoid b, HasOrigin b, HasStyle b, Transformable b, TrailLike b) => b

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

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