Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
newtype TUVW ct cu cv cw t u v w a Source #
Instances
Interpreted ((->) :: Type -> Type -> Type) (TUVW ct cu cv cw t u v w) Source # | |
Defined in Pandora.Paradigm.Schemes.TUVW run :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # unite :: ((->) < Primary (TUVW ct cu cv cw t u v w) a) < TUVW ct cu cv cw t u v w a Source # (<~~~~~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~~~~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~~~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (<~) :: ((->) < TUVW ct cu cv cw t u v w a) < Primary (TUVW ct cu cv cw t u v w) a Source # (=#-) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < Primary (TUVW ct cu cv cw t u v w) a) < Primary u0 b) -> ((->) < TUVW ct cu cv cw t u v w a) < u0 b Source # (-#=) :: (Semigroupoid (->), Interpreted (->) u0) => (((->) < TUVW ct cu cv cw t u v w a) < u0 b) -> ((->) < Primary (TUVW ct cu cv cw t u v w) a) < Primary u0 b Source # (<$=#-) :: (Semigroupoid (->), Covariant (->) (->) j, Interpreted (->) u0) => (((->) < Primary (TUVW ct cu cv cw t u v w) a) < Primary u0 b) -> (j > TUVW ct cu cv cw t u v w a) -> (j > u0 b) Source # (-#=$>) :: (Covariant (->) (->) j, Interpreted (->) u0) => (((->) < TUVW ct cu cv cw t u v w a) < u0 b) -> (j > Primary (TUVW ct cu cv cw t u v w) a) -> (j > Primary u0 b) Source # | |
type Primary (TUVW ct cu cv cw t u v w) a Source # | |