fiber-bundles-0.1.0: Fiber bundles and related algebraic structures.

Safe HaskellSafe
LanguageHaskell2010

Data.FiberBundle.Trivial

Synopsis

Documentation

data TrivialBundle b a Source #

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

Constructors

TrivialBundle !b !a 
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

(Eq b, Group a) => GroupBundle (TrivialBundle b a) Source # 
Instance details

Defined in Data.FiberBundle.Trivial

(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

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