Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
RSTT.Cube
Contents
Documentation
A label (constructor symbol).
A variable.
A cube expression.
Constructors
CubeUnit | Unit cube: 1. |
CubeProduct Cube Cube | Product of cubes: I×J. |
CubeCon Label | A user-defined cube, e.g. 2,I. |
CubeVar Var | A cube variable: I,J. |
A point in a cube.
Constructors
PointUnit | The only point in the unit cube: ⋆:1. |
PointPair Point Point | A pair of points: t:I,s:J⊢⟨t,s⟩:I×J. |
PointFirst Point | First projection: π1t. |
PointSecond Point | Second projection: π2t. |
PointCon Label [Point] | A user-defined point constructor, e.g. 0:2 or t∧s:I. |
PointVar Var | A point variable: t,s. |
type CubeContext = [(Var, Cube)] Source #
A cube context consists of point variables with corresponding cubes.
Pretty-printing
ppCubeContext :: CubeContext -> String Source #
Pretty-print a CubeContext
.