| Safe Haskell | Safe |
|---|---|
| Language | Haskell2010 |
Data.Universe.Some
Contents
Synopsis
- class UniverseSome f where
- universeSome :: [Some f]
- class UniverseSome f => FiniteSome f where
- universeFSome :: [Some f]
- cardinalitySome :: Tagged (Some f) Natural
Documentation
class UniverseSome f where Source #
Auxiliary class to power Universe (Some f)FlexibleInstances).
Laws are induced via Universe (Some f)
elemxuniverse==>elem(Somef)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
| UniverseSome ((:~:) a) Source # | |
Defined in Data.Universe.Some Methods universeSome :: [Some ((:~:) a)] Source # | |
| (UniverseSome f, UniverseSome g) => UniverseSome (Sum f g) Source # | |
Defined in Data.Universe.Some Methods universeSome :: [Some (Sum f g)] Source # | |
class UniverseSome f => FiniteSome f where Source #
Minimal complete definition
Nothing
Instances
| FiniteSome ((:~:) a) Source # | |
Defined in Data.Universe.Some | |
| (FiniteSome f, FiniteSome g) => FiniteSome (Sum f g) Source # | |
Defined in Data.Universe.Some | |
Orphan instances
| UniverseSome f => Universe (Some f) Source # | |
| UniverseSome f => Universe (Some f) Source # | |
| UniverseSome f => Universe (Some f) Source # | |
| FiniteSome f => Finite (Some f) Source # | |
| FiniteSome f => Finite (Some f) Source # | |
| FiniteSome f => Finite (Some f) Source # | |