Safe Haskell | None |
---|---|

Language | Haskell2010 |

## Synopsis

- data Orthogonal
- newtype Slab (o :: Orthogonal) a r = Slab {}
- unSlab :: forall o a r o a r. Iso (Slab o a r) (Slab o a r) (Interval a r) (Interval a r)
- horizontalSlab :: (r :+ a) -> (r :+ a) -> Slab Horizontal a r
- verticalSlab :: (r :+ a) -> (r :+ a) -> Slab Vertical a r
- class HasBoundingLines (o :: Orthogonal) where

# Documentation

data Orthogonal Source #

## Instances

Eq Orthogonal Source # | |

Defined in Data.Geometry.Slab (==) :: Orthogonal -> Orthogonal -> Bool # (/=) :: Orthogonal -> Orthogonal -> Bool # | |

Read Orthogonal Source # | |

Defined in Data.Geometry.Slab readsPrec :: Int -> ReadS Orthogonal # readList :: ReadS [Orthogonal] # readPrec :: ReadPrec Orthogonal # readListPrec :: ReadPrec [Orthogonal] # | |

Show Orthogonal Source # | |

Defined in Data.Geometry.Slab showsPrec :: Int -> Orthogonal -> ShowS # show :: Orthogonal -> String # showList :: [Orthogonal] -> ShowS # |

newtype Slab (o :: Orthogonal) a r Source #

## Instances

horizontalSlab :: (r :+ a) -> (r :+ a) -> Slab Horizontal a r Source #

Smart consturctor for creating a horizontal slab

verticalSlab :: (r :+ a) -> (r :+ a) -> Slab Vertical a r Source #

Smart consturctor for creating a vertical slab

class HasBoundingLines (o :: Orthogonal) where Source #

boundingLines :: Num r => Slab o a r -> (Line 2 r :+ a, Line 2 r :+ a) Source #

The two bounding lines of the slab, first the lower one, then the higher one:

## Instances

HasBoundingLines Horizontal Source # | |

Defined in Data.Geometry.Slab | |

HasBoundingLines Vertical Source # | |