Safe Haskell	None
Language	GHC2021

Control.Category.Indiscrete

Documentation

data Indiscrete (a :: k) (b :: k) Source #

Constructors

Instances details

Category (Indiscrete :: k -> k -> Type) Source #
Instance details Defined in Control.Category.Indiscrete Methods id :: forall (a :: k). Indiscrete a a # (.) :: forall (b :: k) (c :: k) (a :: k). Indiscrete b c -> Indiscrete a b -> Indiscrete a c #
Show (Indiscrete a b) Source #
Instance details Defined in Control.Category.Indiscrete Methods showsPrec :: Int -> Indiscrete a b -> ShowS # show :: Indiscrete a b -> String # showList :: [Indiscrete a b] -> ShowS #
Eq (Indiscrete a b) Source #
Instance details Defined in Control.Category.Indiscrete Methods (==) :: Indiscrete a b -> Indiscrete a b -> Bool # (/=) :: Indiscrete a b -> Indiscrete a b -> Bool #