Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Data.Universe.Instances.Trans
Contents
Documentation
Orphan instances
Universe a => Universe (Identity a) # | |
Finite a => Finite (Identity a) # | |
Universe (f a) => Universe (IdentityT * f a) # | |
Finite (f a) => Finite (IdentityT * f a) # | |
(Universe (f a), Universe (g a)) => Universe (Product * f g a) # | |
(Finite e, Ord e, Universe (m a)) => Universe (ReaderT * e m a) # | |
(Finite (f a), Finite (g a)) => Finite (Product * f g a) # | |
(Finite e, Ord e, Finite (m a)) => Finite (ReaderT * e m a) # | |
Universe (f (g a)) => Universe (Compose * * f g a) # | |
Finite (f (g a)) => Finite (Compose * * f g a) # | |