Safe Haskell	Safe
Language	Haskell2010

Data.Universe.Some

Contents

Synopsis

Documentation

Auxiliary class to power Universe (Some f) instance. (There are no good reasons to use FlexibleInstances).

Laws are induced via Universe (Some f) instance. For example:

elem x universe ==> elem (Some f) universeSome

As GEq cannot be written for phantom Functors, e.g. Const or Proxy, they cannot have UniverseSome instance either.

Note: The Some type is imported from Data.Some, i.e. maybe either from Data.Some.Newtype (default) or Data.Some.GADT modules.

Methods

Instances details

UniverseSome ((:~:) a) Source #
Instance details Defined in Data.Universe.Some Methods universeSome :: [Some ((:~:) a)] Source #
(UniverseSome f, UniverseSome g) => UniverseSome (Sum f g) Source #
Instance details Defined in Data.Universe.Some Methods universeSome :: [Some (Sum f g)] Source #

Minimal complete definition

Nothing

Methods

Instances details

FiniteSome ((:~:) a) Source #
Instance details Defined in Data.Universe.Some Methods universeFSome :: [Some ((:~:) a)] Source # cardinalitySome :: Tagged (Some ((:~:) a)) Natural Source #
(FiniteSome f, FiniteSome g) => FiniteSome (Sum f g) Source #
Instance details Defined in Data.Universe.Some Methods universeFSome :: [Some (Sum f g)] Source # cardinalitySome :: Tagged (Some (Sum f g)) Natural Source #

Orphan instances

FiniteSome f => Finite (Some f) Source #
Instance details Methods universeF :: [Some f] # cardinality :: Tagged (Some f) Natural #
FiniteSome f => Finite (Some f) Source #
Instance details Methods universeF :: [Some f] # cardinality :: Tagged (Some f) Natural #
FiniteSome f => Finite (Some f) Source #
Instance details Methods universeF :: [Some f] # cardinality :: Tagged (Some f) Natural #
UniverseSome f => Universe (Some f) Source #
Instance details Methods universe :: [Some f] #
UniverseSome f => Universe (Some f) Source #
Instance details Methods universe :: [Some f] #
UniverseSome f => Universe (Some f) Source #
Instance details Methods universe :: [Some f] #