| Copyright | (c) Erich Gut |
|---|---|
| License | BSD3 |
| Maintainer | zerich.gut@gmail.com |
| Safe Haskell | None |
| Language | Haskell2010 |
OAlg.Data.Ornt
Description
homomorphisms to Orientation.
Synopsis
- data Ornt s x y where
- Ornt :: forall s x. (Structure s x, Structure s (Orientation (Point x))) => Ornt s x (Orientation (Point x))
- OrntMap :: forall s a b. (Structure s (Orientation a), Structure s (Orientation b)) => (a -> b) -> Ornt s (Orientation a) (Orientation b)
- orntAppl :: Transformable s Ort => Ornt s x y -> x -> y
Documentation
data Ornt s x y where Source #
homomorphisms to Orientation.
Constructors
| Ornt :: forall s x. (Structure s x, Structure s (Orientation (Point x))) => Ornt s x (Orientation (Point x)) | |
| OrntMap :: forall s a b. (Structure s (Orientation a), Structure s (Orientation b)) => (a -> b) -> Ornt s (Orientation a) (Orientation b) |