Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype UTU ct cu t u u' a Source #
Instances
Interpreted (UTU ct cu t u u') Source # | |
Defined in Pandora.Paradigm.Schemes.UTU run :: UTU ct cu t u u' a -> Primary (UTU ct cu t u u') a Source # unite :: Primary (UTU ct cu t u u') a -> UTU ct cu t u u' a Source # (||=) :: Interpreted u0 => (Primary (UTU ct cu t u u') a -> Primary u0 b) -> UTU ct cu t u u' a -> u0 b Source # (=||) :: Interpreted u0 => (UTU ct cu t u u' a -> u0 b) -> Primary (UTU ct cu t u u') a -> Primary u0 b Source # | |
type Primary (UTU ct cu t u u') a Source # | |