Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
type family Simplification (t :: * -> *) (a :: *) where ... Source #
Simplification Exactly a = a | |
Simplification (TU _ _ t u) a = (t :. u) >>> a | |
Simplification (UT _ _ t u) a = (u :. t) >>> a | |
Simplification (TUT _ _ _ t t' u) a = (t :. (u :. t')) >>> a | |
Simplification (T_U _ _ p t u) a = p (t a) (u a) | |
Simplification t a = t a |
Orphan instances
Adjoint ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) (Flip (:*:) s) ((->) s :: Type -> Type) Source # | |
(-|) :: (Flip (:*:) s a -> b) -> a -> (s -> b) Source # (|-) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (|--------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (|-------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (|------) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (|-----) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (|----) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (|---) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (|--) :: (a -> (s -> b)) -> Flip (:*:) s a -> b Source # (--------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b) Source # (-------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b) Source # (------|) :: (Flip (:*:) s a -> b) -> a -> (s -> b) Source # (-----|) :: (Flip (:*:) s a -> b) -> a -> (s -> b) Source # (----|) :: (Flip (:*:) s a -> b) -> a -> (s -> b) Source # |