universe-some-1.2.2: Universe instances for Some from some
Safe HaskellSafe
LanguageHaskell2010

Data.Universe.Some

Synopsis

Documentation

class UniverseSome f where Source #

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

universeSome :: [Some f] Source #

Instances

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 #

class UniverseSome f => FiniteSome f where Source #

Minimal complete definition

Nothing

Instances

Instances details
FiniteSome ((:~:) a) Source # 
Instance details

Defined in Data.Universe.Some

(FiniteSome f, FiniteSome g) => FiniteSome (Sum f g) Source # 
Instance details

Defined in Data.Universe.Some

Orphan instances

FiniteSome f => Finite (Some f) Source # 
Instance details

FiniteSome f => Finite (Some f) Source # 
Instance details

FiniteSome f => Finite (Some f) Source # 
Instance details

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] #