Safe Haskell	Safe
Language	Haskell2010

Data.FiberBundle.Trivial

Synopsis

Documentation

A TrivialBundle is a FiberBundle that is the product of two types. The base function is given by projecting on the first coordinate.

Constructors

Instances

(Eq b, Eq a) => Eq (TrivialBundle b a) Source #
Instance details Defined in Data.FiberBundle.Trivial Methods (==) :: TrivialBundle b a -> TrivialBundle b a -> Bool # (/=) :: TrivialBundle b a -> TrivialBundle b a -> Bool #
(Show b, Show a) => Show (TrivialBundle b a) Source #
Instance details Defined in Data.FiberBundle.Trivial Methods showsPrec :: Int -> TrivialBundle b a -> ShowS # show :: TrivialBundle b a -> String # showList :: [TrivialBundle b a] -> ShowS #
(Eq b, Group a) => GroupBundle (TrivialBundle b a) Source #
Instance details Defined in Data.FiberBundle.Trivial Methods inverse :: TrivialBundle b a -> TrivialBundle b a Source #
(Eq b, Monoid a) => MonoidBundle (TrivialBundle b a) Source #
Instance details Defined in Data.FiberBundle.Trivial Methods unit :: Base (TrivialBundle b a) -> TrivialBundle b a Source #
(Eq b, Semigroup a) => SemigroupBundle (TrivialBundle b a) Source #
Instance details Defined in Data.FiberBundle.Trivial Methods combine :: TrivialBundle b a -> TrivialBundle b a -> Maybe (TrivialBundle b a) Source # unsafeCombine :: TrivialBundle b a -> TrivialBundle b a -> TrivialBundle b a Source #
FiberBundle (TrivialBundle b a) Source #
Instance details Defined in Data.FiberBundle.Trivial Associated Types type Base (TrivialBundle b a) :: * Source # Methods base :: TrivialBundle b a -> Base (TrivialBundle b a) Source #
type Base (TrivialBundle b a) Source #
Instance details Defined in Data.FiberBundle.Trivial type Base (TrivialBundle b a) = b