OAlg.Data.Proxy

Description

proxies.

Synopsis

Documentation

data Proxy2 (a :: k) (b :: k1) Source #

two parameterized proxy.

Constructors

Instances details

Read (Proxy2 a b) Source #
Instance details Defined in OAlg.Data.Proxy Methods readsPrec :: Int -> ReadS (Proxy2 a b) # readList :: ReadS [Proxy2 a b] # readPrec :: ReadPrec (Proxy2 a b) # readListPrec :: ReadPrec [Proxy2 a b] #
Show (Proxy2 a b) Source #
Instance details Defined in OAlg.Data.Proxy Methods showsPrec :: Int -> Proxy2 a b -> ShowS # show :: Proxy2 a b -> String # showList :: [Proxy2 a b] -> ShowS #
Eq (Proxy2 a b) Source #
Instance details Defined in OAlg.Data.Proxy Methods (==) :: Proxy2 a b -> Proxy2 a b -> Bool # (/=) :: Proxy2 a b -> Proxy2 a b -> Bool #
Ord (Proxy2 a b) Source #
Instance details Defined in OAlg.Data.Proxy Methods compare :: Proxy2 a b -> Proxy2 a b -> Ordering # (<) :: Proxy2 a b -> Proxy2 a b -> Bool # (<=) :: Proxy2 a b -> Proxy2 a b -> Bool # (>) :: Proxy2 a b -> Proxy2 a b -> Bool # (>=) :: Proxy2 a b -> Proxy2 a b -> Bool # max :: Proxy2 a b -> Proxy2 a b -> Proxy2 a b # min :: Proxy2 a b -> Proxy2 a b -> Proxy2 a b #

data Proxy3 (a :: k) (b :: k1) (c :: k2) Source #

three parameterized proxy.

Constructors

Instances details

Read (Proxy3 a b c) Source #
Instance details Defined in OAlg.Data.Proxy Methods readsPrec :: Int -> ReadS (Proxy3 a b c) # readList :: ReadS [Proxy3 a b c] # readPrec :: ReadPrec (Proxy3 a b c) # readListPrec :: ReadPrec [Proxy3 a b c] #
Show (Proxy3 a b c) Source #
Instance details Defined in OAlg.Data.Proxy Methods showsPrec :: Int -> Proxy3 a b c -> ShowS # show :: Proxy3 a b c -> String # showList :: [Proxy3 a b c] -> ShowS #
Eq (Proxy3 a b c) Source #
Instance details Defined in OAlg.Data.Proxy Methods (==) :: Proxy3 a b c -> Proxy3 a b c -> Bool # (/=) :: Proxy3 a b c -> Proxy3 a b c -> Bool #
Ord (Proxy3 a b c) Source #
Instance details Defined in OAlg.Data.Proxy Methods compare :: Proxy3 a b c -> Proxy3 a b c -> Ordering # (<) :: Proxy3 a b c -> Proxy3 a b c -> Bool # (<=) :: Proxy3 a b c -> Proxy3 a b c -> Bool # (>) :: Proxy3 a b c -> Proxy3 a b c -> Bool # (>=) :: Proxy3 a b c -> Proxy3 a b c -> Bool # max :: Proxy3 a b c -> Proxy3 a b c -> Proxy3 a b c # min :: Proxy3 a b c -> Proxy3 a b c -> Proxy3 a b c #