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