| Safe Haskell | None |
|---|---|
| Language | GHC2024 |
Proarrow.Category.Internal
Synopsis
- class InternalIn (ik :: k) k1 where
- type Finite (k1 :: k) = InternalIn k1 FINSET
Documentation
class InternalIn (ik :: k) k1 where Source Github #
An internal category in a category k.
Methods
source :: (C1 ik :: k1) ~> (C0 ik :: k1) Source Github #
target :: (C1 ik :: k1) ~> (C0 ik :: k1) Source Github #
identity :: (C0 ik :: k1) ~> (C1 ik :: k1) Source Github #
compose :: Cosink '[C1 ik :: k1, C1 ik :: k1, C1 ik :: k1] Source Github #
Instances
| InternalIn BOOL FINSET Source Github # | |||||||||
Defined in Proarrow.Category.Internal Associated Types
Methods source :: (C1 BOOL :: FINSET) ~> (C0 BOOL :: FINSET) Source Github # target :: (C1 BOOL :: FINSET) ~> (C0 BOOL :: FINSET) Source Github # identity :: (C0 BOOL :: FINSET) ~> (C1 BOOL :: FINSET) Source Github # compose :: Cosink '[C1 BOOL :: FINSET, C1 BOOL :: FINSET, C1 BOOL :: FINSET] Source Github # | |||||||||