Safe Haskell	Safe-Inferred
Language	Haskell2010

Geometry.Face

Documentation

data Face a Source #

Constructors

Face
Fields faceA :: a faceB :: a faceC :: a

Instances

Instances details

Foldable Face Source #
Instance details Defined in Geometry.Face Methods fold :: Monoid m => Face m -> m Source # foldMap :: Monoid m => (a -> m) -> Face a -> m Source # foldMap' :: Monoid m => (a -> m) -> Face a -> m Source # foldr :: (a -> b -> b) -> b -> Face a -> b Source # foldr' :: (a -> b -> b) -> b -> Face a -> b Source # foldl :: (b -> a -> b) -> b -> Face a -> b Source # foldl' :: (b -> a -> b) -> b -> Face a -> b Source # foldr1 :: (a -> a -> a) -> Face a -> a Source # foldl1 :: (a -> a -> a) -> Face a -> a Source # toList :: Face a -> [a] Source # null :: Face a -> Bool Source # length :: Face a -> Int Source # elem :: Eq a => a -> Face a -> Bool Source # maximum :: Ord a => Face a -> a Source # minimum :: Ord a => Face a -> a Source # sum :: Num a => Face a -> a Source # product :: Num a => Face a -> a Source #
Traversable Face Source #
Instance details Defined in Geometry.Face Methods traverse :: Applicative f => (a -> f b) -> Face a -> f (Face b) Source # sequenceA :: Applicative f => Face (f a) -> f (Face a) Source # mapM :: Monad m => (a -> m b) -> Face a -> m (Face b) Source # sequence :: Monad m => Face (m a) -> m (Face a) Source #
Functor Face Source #
Instance details Defined in Geometry.Face Methods fmap :: (a -> b) -> Face a -> Face b Source # (<$) :: a -> Face b -> Face a Source #
Show a => Show (Face a) Source #
Instance details Defined in Geometry.Face Methods showsPrec :: Int -> Face a -> ShowS Source # show :: Face a -> String Source # showList :: [Face a] -> ShowS Source #
Eq a => Eq (Face a) Source #
Instance details Defined in Geometry.Face Methods (==) :: Face a -> Face a -> Bool Source # (/=) :: Face a -> Face a -> Bool Source #
Ord a => Ord (Face a) Source #
Instance details Defined in Geometry.Face Methods compare :: Face a -> Face a -> Ordering Source # (<) :: Face a -> Face a -> Bool Source # (<=) :: Face a -> Face a -> Bool Source # (>) :: Face a -> Face a -> Bool Source # (>=) :: Face a -> Face a -> Bool Source # max :: Face a -> Face a -> Face a Source # min :: Face a -> Face a -> Face a Source #

facesR :: [a] -> Maybe [Face a] Source #