Safe Haskell	Safe
Language	Haskell2010

Data.Universe.Instances.Base

Contents

Orphan instances

Synopsis

class Universe a where
class Universe a => Finite a where

Documentation

Instances of Universe and Finite for built-in types.

class Universe a where #

Creating an instance of this class is a declaration that your type is recursively enumerable (and that universe is that enumeration). In particular, you promise that any finite inhabitant has a finite index in universe, and that no inhabitant appears at two different finite indices.

Methods

universe :: [a] #

Instances

Universe Bool #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Bool] #
Universe Char #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Char] #
Universe Int #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Int] #
Universe Int8 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Int8] #
Universe Int16 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Int16] #
Universe Int32 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Int32] #
Universe Int64 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Int64] #
Universe Integer #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Integer] #
Universe Ordering #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Ordering] #
Universe Word #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Word] #
Universe Word8 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Word8] #
Universe Word16 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Word16] #
Universe Word32 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Word32] #
Universe Word64 #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Word64] #
Universe () #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [()] #
Universe All #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [All] #
Universe Any #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Any] #
Universe a => Universe [a] #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [[a]] #
Universe a => Universe (Maybe a) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Maybe a] #
a ~ Integer => Universe (Ratio a) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Ratio a] #
Universe a => Universe (First a) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [First a] #
Universe a => Universe (Last a) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Last a] #
Universe a => Universe (Dual a) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Dual a] #
Universe a => Universe (Sum a) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Sum a] #
Universe a => Universe (Product a) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Product a] #
(Finite a, Ord a, Universe b) => Universe (a -> b) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [a -> b] #
(Universe a, Universe b) => Universe (Either a b) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [Either a b] #
(Universe a, Universe b) => Universe (a, b) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [(a, b)] #
(Universe a, Universe b, Universe c) => Universe (a, b, c) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [(a, b, c)] #
(Universe a, Universe b, Universe c, Universe d) => Universe (a, b, c, d) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [(a, b, c, d)] #
(Universe a, Universe b, Universe c, Universe d, Universe e) => Universe (a, b, c, d, e) #
Instance details Defined in Data.Universe.Instances.Base Methods universe :: [(a, b, c, d, e)] #

class Universe a => Finite a where #

Creating an instance of this class is a declaration that your universe eventually ends. Minimal definition: no methods defined. By default, universeF = universe, but for some types (like Either) the universeF method may have a more intuitive ordering.

Methods

universeF :: [a] #

Instances

Finite Bool #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Bool] #
Finite Char #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Char] #
Finite Int #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Int] #
Finite Int8 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Int8] #
Finite Int16 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Int16] #
Finite Int32 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Int32] #
Finite Int64 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Int64] #
Finite Ordering #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Ordering] #
Finite Word #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Word] #
Finite Word8 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Word8] #
Finite Word16 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Word16] #
Finite Word32 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Word32] #
Finite Word64 #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Word64] #
Finite () #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [()] #
Finite All #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [All] #
Finite Any #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Any] #
Finite a => Finite (Maybe a) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Maybe a] #
Finite a => Finite (First a) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [First a] #
Finite a => Finite (Last a) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Last a] #
Finite a => Finite (Dual a) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Dual a] #
Finite a => Finite (Sum a) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Sum a] #
Finite a => Finite (Product a) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Product a] #
(Ord a, Finite a, Finite b) => Finite (a -> b) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [a -> b] #
(Finite a, Finite b) => Finite (Either a b) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [Either a b] #
(Finite a, Finite b) => Finite (a, b) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [(a, b)] #
(Finite a, Finite b, Finite c) => Finite (a, b, c) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [(a, b, c)] #
(Finite a, Finite b, Finite c, Finite d) => Finite (a, b, c, d) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [(a, b, c, d)] #
(Finite a, Finite b, Finite c, Finite d, Finite e) => Finite (a, b, c, d, e) #
Instance details Defined in Data.Universe.Instances.Base Methods universeF :: [(a, b, c, d, e)] #

Orphan instances

Universe Bool #
Instance details Methods universe :: [Bool] #
Universe Char #
Instance details Methods universe :: [Char] #
Universe Int #
Instance details Methods universe :: [Int] #
Universe Int8 #
Instance details Methods universe :: [Int8] #
Universe Int16 #
Instance details Methods universe :: [Int16] #
Universe Int32 #
Instance details Methods universe :: [Int32] #
Universe Int64 #
Instance details Methods universe :: [Int64] #
Universe Integer #
Instance details Methods universe :: [Integer] #
Universe Ordering #
Instance details Methods universe :: [Ordering] #
Universe Word #
Instance details Methods universe :: [Word] #
Universe Word8 #
Instance details Methods universe :: [Word8] #
Universe Word16 #
Instance details Methods universe :: [Word16] #
Universe Word32 #
Instance details Methods universe :: [Word32] #
Universe Word64 #
Instance details Methods universe :: [Word64] #
Universe () #
Instance details Methods universe :: [()] #
Universe All #
Instance details Methods universe :: [All] #
Universe Any #
Instance details Methods universe :: [Any] #
Finite Bool #
Instance details Methods universeF :: [Bool] #
Finite Char #
Instance details Methods universeF :: [Char] #
Finite Int #
Instance details Methods universeF :: [Int] #
Finite Int8 #
Instance details Methods universeF :: [Int8] #
Finite Int16 #
Instance details Methods universeF :: [Int16] #
Finite Int32 #
Instance details Methods universeF :: [Int32] #
Finite Int64 #
Instance details Methods universeF :: [Int64] #
Finite Ordering #
Instance details Methods universeF :: [Ordering] #
Finite Word #
Instance details Methods universeF :: [Word] #
Finite Word8 #
Instance details Methods universeF :: [Word8] #
Finite Word16 #
Instance details Methods universeF :: [Word16] #
Finite Word32 #
Instance details Methods universeF :: [Word32] #
Finite Word64 #
Instance details Methods universeF :: [Word64] #
Finite () #
Instance details Methods universeF :: [()] #
Finite All #
Instance details Methods universeF :: [All] #
Finite Any #
Instance details Methods universeF :: [Any] #
Universe a => Universe [a] #
Instance details Methods universe :: [[a]] #
Universe a => Universe (Maybe a) #
Instance details Methods universe :: [Maybe a] #
a ~ Integer => Universe (Ratio a) #
Instance details Methods universe :: [Ratio a] #
Universe a => Universe (First a) #
Instance details Methods universe :: [First a] #
Universe a => Universe (Last a) #
Instance details Methods universe :: [Last a] #
Universe a => Universe (Dual a) #
Instance details Methods universe :: [Dual a] #
Universe a => Universe (Sum a) #
Instance details Methods universe :: [Sum a] #
Universe a => Universe (Product a) #
Instance details Methods universe :: [Product a] #
Finite a => Finite (Maybe a) #
Instance details Methods universeF :: [Maybe a] #
Finite a => Finite (First a) #
Instance details Methods universeF :: [First a] #
Finite a => Finite (Last a) #
Instance details Methods universeF :: [Last a] #
Finite a => Finite (Dual a) #
Instance details Methods universeF :: [Dual a] #
Finite a => Finite (Sum a) #
Instance details Methods universeF :: [Sum a] #
Finite a => Finite (Product a) #
Instance details Methods universeF :: [Product a] #
(Finite a, Ord a, Universe b) => Universe (a -> b) #
Instance details Methods universe :: [a -> b] #
(Universe a, Universe b) => Universe (Either a b) #
Instance details Methods universe :: [Either a b] #
(Universe a, Universe b) => Universe (a, b) #
Instance details Methods universe :: [(a, b)] #
(Ord a, Finite a, Finite b) => Finite (a -> b) #
Instance details Methods universeF :: [a -> b] #
(Finite a, Finite b) => Finite (Either a b) #
Instance details Methods universeF :: [Either a b] #
(Finite a, Finite b) => Finite (a, b) #
Instance details Methods universeF :: [(a, b)] #
(Universe a, Universe b, Universe c) => Universe (a, b, c) #
Instance details Methods universe :: [(a, b, c)] #
(Finite a, Finite b, Finite c) => Finite (a, b, c) #
Instance details Methods universeF :: [(a, b, c)] #
(Universe a, Universe b, Universe c, Universe d) => Universe (a, b, c, d) #
Instance details Methods universe :: [(a, b, c, d)] #
(Finite a, Finite b, Finite c, Finite d) => Finite (a, b, c, d) #
Instance details Methods universeF :: [(a, b, c, d)] #
(Universe a, Universe b, Universe c, Universe d, Universe e) => Universe (a, b, c, d, e) #
Instance details Methods universe :: [(a, b, c, d, e)] #
(Finite a, Finite b, Finite c, Finite d, Finite e) => Finite (a, b, c, d, e) #
Instance details Methods universeF :: [(a, b, c, d, e)] #