Data.Curry

Documentation

data Uncurry f ab where

Constructors

Uncurry

Fields

• :: { reCurry :: f a b
•    } -> Uncurry f '(a, b)

Instances

Bounded (f a b) => Bounded (Uncurry f '(a, b))

Defined in Data.Curry

Methods

minBound :: Uncurry f '(a, b)

maxBound :: Uncurry f '(a, b)

Eq (f a b) => Eq (Uncurry f '(a, b))

Defined in Data.Curry

Methods

(==) :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Bool

(/=) :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Bool

Ord (f a b) => Ord (Uncurry f '(a, b))

Defined in Data.Curry

Methods

compare :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Ordering

(<) :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Bool

(<=) :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Bool

(>) :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Bool

(>=) :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Bool

max :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Uncurry f '(a, b)

min :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Uncurry f '(a, b)

Read (f a b) => Read (Uncurry f '(a, b))

Defined in Data.Curry

Methods

readsPrec :: Int -> ReadS (Uncurry f '(a, b))

readList :: ReadS [Uncurry f '(a, b)]

readPrec :: ReadPrec (Uncurry f '(a, b))

readListPrec :: ReadPrec [Uncurry f '(a, b)]

Show (f a b) => Show (Uncurry f '(a, b))

Defined in Data.Curry

Methods

showsPrec :: Int -> Uncurry f '(a, b) -> ShowS

show :: Uncurry f '(a, b) -> String

showList :: [Uncurry f '(a, b)] -> ShowS

Semigroup (f a b) => Semigroup (Uncurry f '(a, b))

Defined in Data.Curry

Methods

(<>) :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Uncurry f '(a, b)

sconcat :: NonEmpty (Uncurry f '(a, b)) -> Uncurry f '(a, b)

stimes :: Integral b0 => b0 -> Uncurry f '(a, b) -> Uncurry f '(a, b)

Monoid (f a b) => Monoid (Uncurry f '(a, b))

Defined in Data.Curry

Methods

mempty :: Uncurry f '(a, b)

mappend :: Uncurry f '(a, b) -> Uncurry f '(a, b) -> Uncurry f '(a, b)

mconcat :: [Uncurry f '(a, b)] -> Uncurry f '(a, b)

data Curry f a b where

Constructors

Curry

Fields

• :: { unCurry :: f '(a, b)
•    } -> Curry f a b