Geometry.Face

Documentation

data Face a

Constructors

Face

Fields

• faceA :: a
• faceB :: a
• faceC :: a

Instances

Foldable Face

Defined in Geometry.Face

Methods

fold :: Monoid m => Face m -> m

foldMap :: Monoid m => (a -> m) -> Face a -> m

foldMap' :: Monoid m => (a -> m) -> Face a -> m

foldr :: (a -> b -> b) -> b -> Face a -> b

foldr' :: (a -> b -> b) -> b -> Face a -> b

foldl :: (b -> a -> b) -> b -> Face a -> b

foldl' :: (b -> a -> b) -> b -> Face a -> b

foldr1 :: (a -> a -> a) -> Face a -> a

foldl1 :: (a -> a -> a) -> Face a -> a

toList :: Face a -> [a]

null :: Face a -> Bool

length :: Face a -> Int

elem :: Eq a => a -> Face a -> Bool

maximum :: Ord a => Face a -> a

minimum :: Ord a => Face a -> a

sum :: Num a => Face a -> a

product :: Num a => Face a -> a

Traversable Face

Defined in Geometry.Face

Methods

traverse :: Applicative f => (a -> f b) -> Face a -> f (Face b)

sequenceA :: Applicative f => Face (f a) -> f (Face a)

mapM :: Monad m => (a -> m b) -> Face a -> m (Face b)

sequence :: Monad m => Face (m a) -> m (Face a)

Functor Face

Defined in Geometry.Face

Methods

fmap :: (a -> b) -> Face a -> Face b

(<$) :: a -> Face b -> Face a

Show a => Show (Face a)

Defined in Geometry.Face

Methods

showsPrec :: Int -> Face a -> ShowS

show :: Face a -> String

showList :: [Face a] -> ShowS

Eq a => Eq (Face a)

Defined in Geometry.Face

Methods

(==) :: Face a -> Face a -> Bool

(/=) :: Face a -> Face a -> Bool

Ord a => Ord (Face a)

Defined in Geometry.Face

Methods

compare :: Face a -> Face a -> Ordering

(<) :: Face a -> Face a -> Bool

(<=) :: Face a -> Face a -> Bool

(>) :: Face a -> Face a -> Bool

(>=) :: Face a -> Face a -> Bool

max :: Face a -> Face a -> Face a

min :: Face a -> Face a -> Face a

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