Data.Applicable

The Applicable class with its operator ($*). You will likely need the FlexibleContexts extension to use this module’s instances.

Documentation

class Applicable f a b | f a -> b where

A class for types whose values can be applied. Instances are required to be uniquely determined by the applied and applied-to type.

Methods

($*) :: f -> a -> b

Apply a value to another value, producing a result.

Instances

Applicable ChurchBool a (a -> a)

Defined in Data.Applicable

Methods

($*) :: ChurchBool -> a -> a -> a

Semigroup a => Applicable (GroupAction a) a a

Defined in Data.Applicable

Methods

($*) :: GroupAction a -> a -> a

Applicable (ApplyTo a) (a -> b) b

Defined in Data.Applicable

Methods

($*) :: ApplyTo a -> (a -> b) -> b

Integral a => Applicable (ChurchNumeral a) (a -> a) (a -> a)

Defined in Data.Applicable

Methods

($*) :: ChurchNumeral a -> (a -> a) -> a -> a

Applicable (a -> b) a b

Defined in Data.Applicable

Methods

($*) :: (a -> b) -> a -> b

Functor f => Applicable (ApplyMap a b) (f a) (f b)

Defined in Data.Applicable

Methods

($*) :: ApplyMap a b -> f a -> f b

Applicable (ChurchTuple a b) (a -> b -> c) c

Defined in Data.Applicable

Methods

($*) :: ChurchTuple a b -> (a -> b -> c) -> c

Applicative f => Applicable (ApplyAp f a b) (f a) (f b)

Defined in Data.Applicable

Methods

($*) :: ApplyAp f a b -> f a -> f b

Monad m => Applicable (ApplyBind m a b) (m a) (m b)

Defined in Data.Applicable

Methods

($*) :: ApplyBind m a b -> m a -> m b

newtype ApplyTo a

A wrapper for values. Can be applied to a function (->), applying the function to the inner value.

Constructors

AppTo

Fields

• unAppTo :: a

Instances

Functor ApplyTo

Defined in Data.Applicable

Methods

fmap :: (a -> b) -> ApplyTo a -> ApplyTo b

(<$) :: a -> ApplyTo b -> ApplyTo a

Read a => Read (ApplyTo a)

Defined in Data.Applicable

Methods

readsPrec :: Int -> ReadS (ApplyTo a)

readList :: ReadS [ApplyTo a]

readPrec :: ReadPrec (ApplyTo a)

readListPrec :: ReadPrec [ApplyTo a]

Show a => Show (ApplyTo a)

Defined in Data.Applicable

Methods

showsPrec :: Int -> ApplyTo a -> ShowS

show :: ApplyTo a -> String

showList :: [ApplyTo a] -> ShowS

Eq a => Eq (ApplyTo a)

Defined in Data.Applicable

Methods

(==) :: ApplyTo a -> ApplyTo a -> Bool

(/=) :: ApplyTo a -> ApplyTo a -> Bool

Ord a => Ord (ApplyTo a)

Defined in Data.Applicable

Methods

compare :: ApplyTo a -> ApplyTo a -> Ordering

(<) :: ApplyTo a -> ApplyTo a -> Bool

(<=) :: ApplyTo a -> ApplyTo a -> Bool

(>) :: ApplyTo a -> ApplyTo a -> Bool

(>=) :: ApplyTo a -> ApplyTo a -> Bool

max :: ApplyTo a -> ApplyTo a -> ApplyTo a

min :: ApplyTo a -> ApplyTo a -> ApplyTo a

Applicable (ApplyTo a) (a -> b) b

Defined in Data.Applicable

Methods

($*) :: ApplyTo a -> (a -> b) -> b

newtype ApplyMap a b

A wrapper for functions. Can be applied to a Functor, fmap-ing the function over the inner values.

Constructors

AppMap

Fields

• unAppMap :: a -> b

Instances

Functor (ApplyMap a)

Defined in Data.Applicable

Methods

fmap :: (a0 -> b) -> ApplyMap a a0 -> ApplyMap a b

(<$) :: a0 -> ApplyMap a b -> ApplyMap a a0

Functor f => Applicable (ApplyMap a b) (f a) (f b)

Defined in Data.Applicable

Methods

($*) :: ApplyMap a b -> f a -> f b

newtype ApplyAp f a b

A wrapper for functions in an applicative functor. Can be applied to an Applicative functor, (<*>)-ing it on it.

Constructors

AppAp

Fields

• unAppAp :: f (a -> b)

Instances

Functor f => Functor (ApplyAp f a)

Defined in Data.Applicable

Methods

fmap :: (a0 -> b) -> ApplyAp f a a0 -> ApplyAp f a b

(<$) :: a0 -> ApplyAp f a b -> ApplyAp f a a0

Applicative f => Applicable (ApplyAp f a b) (f a) (f b)

Defined in Data.Applicable

Methods

($*) :: ApplyAp f a b -> f a -> f b

newtype ApplyBind m a b

A wrapper for Kleisli arrows. Can be applied to a Monad, (>>=)-ing it on it.

Constructors

AppBind

Fields

• unAppBind :: a -> m b

Instances

Functor m => Functor (ApplyBind m a)

Defined in Data.Applicable

Methods

fmap :: (a0 -> b) -> ApplyBind m a a0 -> ApplyBind m a b

(<$) :: a0 -> ApplyBind m a b -> ApplyBind m a a0

Monad m => Applicable (ApplyBind m a b) (m a) (m b)

Defined in Data.Applicable

Methods

($*) :: ApplyBind m a b -> m a -> m b

newtype GroupAction a

A wrapper for Semigroup members, representing the associated group action. Can be applied to another member, (<>)-ing them.

Constructors

GrpAct

Fields

• unGrpAct :: a

Instances

Functor GroupAction

Defined in Data.Applicable

Methods

fmap :: (a -> b) -> GroupAction a -> GroupAction b

(<$) :: a -> GroupAction b -> GroupAction a

Read a => Read (GroupAction a)

Defined in Data.Applicable

Methods

readsPrec :: Int -> ReadS (GroupAction a)

readList :: ReadS [GroupAction a]

readPrec :: ReadPrec (GroupAction a)

readListPrec :: ReadPrec [GroupAction a]

Show a => Show (GroupAction a)

Defined in Data.Applicable

Methods

showsPrec :: Int -> GroupAction a -> ShowS

show :: GroupAction a -> String

showList :: [GroupAction a] -> ShowS

Eq a => Eq (GroupAction a)

Defined in Data.Applicable

Methods

(==) :: GroupAction a -> GroupAction a -> Bool

(/=) :: GroupAction a -> GroupAction a -> Bool

Ord a => Ord (GroupAction a)

Defined in Data.Applicable

Methods

compare :: GroupAction a -> GroupAction a -> Ordering

(<) :: GroupAction a -> GroupAction a -> Bool

(<=) :: GroupAction a -> GroupAction a -> Bool

(>) :: GroupAction a -> GroupAction a -> Bool

(>=) :: GroupAction a -> GroupAction a -> Bool

max :: GroupAction a -> GroupAction a -> GroupAction a

min :: GroupAction a -> GroupAction a -> GroupAction a

Semigroup a => Applicable (GroupAction a) a a

Defined in Data.Applicable

Methods

($*) :: GroupAction a -> a -> a

newtype ChurchBool

A wrapper for Bools. When applied to a value, uses the Church encoding of Booleans. The Church encoding of Booleans is a binary function that returns its first argument for True, and its second for False.

Constructors

ChBool

Fields

• unChBool :: Bool

Instances

Bounded ChurchBool

Defined in Data.Applicable

Methods

minBound :: ChurchBool

maxBound :: ChurchBool

Enum ChurchBool

Defined in Data.Applicable

Methods

succ :: ChurchBool -> ChurchBool

pred :: ChurchBool -> ChurchBool

toEnum :: Int -> ChurchBool

fromEnum :: ChurchBool -> Int

enumFrom :: ChurchBool -> [ChurchBool]

enumFromThen :: ChurchBool -> ChurchBool -> [ChurchBool]

enumFromTo :: ChurchBool -> ChurchBool -> [ChurchBool]

enumFromThenTo :: ChurchBool -> ChurchBool -> ChurchBool -> [ChurchBool]

Read ChurchBool

Defined in Data.Applicable

Methods

readsPrec :: Int -> ReadS ChurchBool

readList :: ReadS [ChurchBool]

readPrec :: ReadPrec ChurchBool

readListPrec :: ReadPrec [ChurchBool]

Show ChurchBool

Defined in Data.Applicable

Methods

showsPrec :: Int -> ChurchBool -> ShowS

show :: ChurchBool -> String

showList :: [ChurchBool] -> ShowS

Eq ChurchBool

Defined in Data.Applicable

Methods

(==) :: ChurchBool -> ChurchBool -> Bool

(/=) :: ChurchBool -> ChurchBool -> Bool

Ord ChurchBool

Defined in Data.Applicable

Methods

compare :: ChurchBool -> ChurchBool -> Ordering

(<) :: ChurchBool -> ChurchBool -> Bool

(<=) :: ChurchBool -> ChurchBool -> Bool

(>) :: ChurchBool -> ChurchBool -> Bool

(>=) :: ChurchBool -> ChurchBool -> Bool

max :: ChurchBool -> ChurchBool -> ChurchBool

min :: ChurchBool -> ChurchBool -> ChurchBool

Applicable ChurchBool a (a -> a)

Defined in Data.Applicable

Methods

($*) :: ChurchBool -> a -> a -> a

newtype ChurchNumeral a

A wrapper for natural numbers (Approximated by Integral). When applied to a value, uses the Church encoding of natural numbers. Church numerals represent the number _n_ as a function that take another function and repeatedly applies it _n_ times.

Constructors

ChNum

Fields

• unChNum :: a

Instances

Functor ChurchNumeral

Defined in Data.Applicable

Methods

fmap :: (a -> b) -> ChurchNumeral a -> ChurchNumeral b

(<$) :: a -> ChurchNumeral b -> ChurchNumeral a

Read a => Read (ChurchNumeral a)

Defined in Data.Applicable

Methods

readsPrec :: Int -> ReadS (ChurchNumeral a)

readList :: ReadS [ChurchNumeral a]

readPrec :: ReadPrec (ChurchNumeral a)

readListPrec :: ReadPrec [ChurchNumeral a]

Show a => Show (ChurchNumeral a)

Defined in Data.Applicable

Methods

showsPrec :: Int -> ChurchNumeral a -> ShowS

show :: ChurchNumeral a -> String

showList :: [ChurchNumeral a] -> ShowS

Eq a => Eq (ChurchNumeral a)

Defined in Data.Applicable

Methods

(==) :: ChurchNumeral a -> ChurchNumeral a -> Bool

(/=) :: ChurchNumeral a -> ChurchNumeral a -> Bool

Ord a => Ord (ChurchNumeral a)

Defined in Data.Applicable

Methods

compare :: ChurchNumeral a -> ChurchNumeral a -> Ordering

(<) :: ChurchNumeral a -> ChurchNumeral a -> Bool

(<=) :: ChurchNumeral a -> ChurchNumeral a -> Bool

(>) :: ChurchNumeral a -> ChurchNumeral a -> Bool

(>=) :: ChurchNumeral a -> ChurchNumeral a -> Bool

max :: ChurchNumeral a -> ChurchNumeral a -> ChurchNumeral a

min :: ChurchNumeral a -> ChurchNumeral a -> ChurchNumeral a

Integral a => Applicable (ChurchNumeral a) (a -> a) (a -> a)

Defined in Data.Applicable

Methods

($*) :: ChurchNumeral a -> (a -> a) -> a -> a

newtype ChurchTuple a b

A wrapper for tuples (,). When applied to a value, uses the Church encoding of tuples. The Church encoding of tuples applies a function to the values inside a tuple.

Constructors

ChTup

Fields

• unChTup :: (a, b)

Instances

Bifunctor ChurchTuple

Defined in Data.Applicable

Methods

bimap :: (a -> b) -> (c -> d) -> ChurchTuple a c -> ChurchTuple b d

first :: (a -> b) -> ChurchTuple a c -> ChurchTuple b c

second :: (b -> c) -> ChurchTuple a b -> ChurchTuple a c

Functor (ChurchTuple a)

Defined in Data.Applicable

Methods

fmap :: (a0 -> b) -> ChurchTuple a a0 -> ChurchTuple a b

(<$) :: a0 -> ChurchTuple a b -> ChurchTuple a a0

(Read a, Read b) => Read (ChurchTuple a b)

Defined in Data.Applicable

Methods

readsPrec :: Int -> ReadS (ChurchTuple a b)

readList :: ReadS [ChurchTuple a b]

readPrec :: ReadPrec (ChurchTuple a b)

readListPrec :: ReadPrec [ChurchTuple a b]

(Show a, Show b) => Show (ChurchTuple a b)

Defined in Data.Applicable

Methods

showsPrec :: Int -> ChurchTuple a b -> ShowS

show :: ChurchTuple a b -> String

showList :: [ChurchTuple a b] -> ShowS

(Eq a, Eq b) => Eq (ChurchTuple a b)

Defined in Data.Applicable

Methods

(==) :: ChurchTuple a b -> ChurchTuple a b -> Bool

(/=) :: ChurchTuple a b -> ChurchTuple a b -> Bool

(Ord a, Ord b) => Ord (ChurchTuple a b)

Defined in Data.Applicable

Methods

compare :: ChurchTuple a b -> ChurchTuple a b -> Ordering

(<) :: ChurchTuple a b -> ChurchTuple a b -> Bool

(<=) :: ChurchTuple a b -> ChurchTuple a b -> Bool

(>) :: ChurchTuple a b -> ChurchTuple a b -> Bool

(>=) :: ChurchTuple a b -> ChurchTuple a b -> Bool

max :: ChurchTuple a b -> ChurchTuple a b -> ChurchTuple a b

min :: ChurchTuple a b -> ChurchTuple a b -> ChurchTuple a b

Applicable (ChurchTuple a b) (a -> b -> c) c

Defined in Data.Applicable

Methods

($*) :: ChurchTuple a b -> (a -> b -> c) -> c