Data.FiberBundle.Trivial

Documentation

data TrivialBundle b a

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)

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)

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)

Defined in Data.FiberBundle.Trivial

Methods

inverse :: TrivialBundle b a -> TrivialBundle b a

(Eq b, Monoid a) => MonoidBundle (TrivialBundle b a)

Defined in Data.FiberBundle.Trivial

Methods

unit :: Base (TrivialBundle b a) -> TrivialBundle b a

(Eq b, Semigroup a) => SemigroupBundle (TrivialBundle b a)

Defined in Data.FiberBundle.Trivial

Methods

combine :: TrivialBundle b a -> TrivialBundle b a -> Maybe (TrivialBundle b a)

unsafeCombine :: TrivialBundle b a -> TrivialBundle b a -> TrivialBundle b a

FiberBundle (TrivialBundle b a)

Defined in Data.FiberBundle.Trivial

Associated Types

type Base (TrivialBundle b a) :: *

Methods

base :: TrivialBundle b a -> Base (TrivialBundle b a)

type Base (TrivialBundle b a)

Defined in Data.FiberBundle.Trivial

type Base (TrivialBundle b a) = b