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