Ipe.Draw

Description

Class and setup for rendering/drawing

Synopsis

type family Rendered backend
type Attr backend geom = AttrOf backend geom -> AttrOf backend geom
class Monoid (Rendered backend) => IsDrawable backend geom where
- type AttrOf backend geom
- draw :: [Attr backend geom] -> geom -> Rendered backend

Documentation

type family Rendered backend Source #

The type of objects a backend renders

type Attr backend geom = AttrOf backend geom -> AttrOf backend geom Source #

An Attribute Assignment

class Monoid (Rendered backend) => IsDrawable backend geom where Source #

A class that expresses that something is drawable using a particular backend

Associated Types

type AttrOf backend geom Source #

A GADT that expresses possible attributes for a particular object

Methods

draw :: [Attr backend geom] -> geom -> Rendered backend Source #

Draw some objects