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 # (||=) :: (Primary (UTU ct cu t u u') a -> Primary (UTU ct cu t u u') b) -> UTU ct cu t u u' a -> UTU ct cu t u u' b Source # (=||) :: (UTU ct cu t u u' a -> UTU ct cu t u u' b) -> Primary (UTU ct cu t u u') a -> Primary (UTU ct cu t u u') b Source # | |
type Primary (UTU ct cu t u u') a Source # | |