Package frege.data.wrapper.Identity

Compiled: Wed Dec 05 00:09:47 PST 2012 from source file: ./frege/data/wrapper/Identity.fr

Package Documentation

Table of Content

Imports

Instances

instance Applicative Identity

Member Functions

*> :: Identity α -> Identity β -> Identity β

inherited from Applicative.*>

<* :: Identity α -> Identity β -> Identity α

inherited from Applicative.<*

<*> :: Identity (α->β) -> Identity α -> Identity β
return :: α -> Identity α
instance Foldable Identity

Member Functions

fold :: Monoid α => Identity α -> α

inherited from F.Foldable.fold

fold1 :: Semigroup α => Identity α -> α

inherited from F.Foldable.fold1

foldMap :: Monoid β => (α->β) -> Identity α -> β
foldMap1 :: Semigroup β => (α->β) -> Identity α -> β

inherited from F.Foldable.foldMap1

foldl :: (α->β->α) -> α -> Identity β -> α

inherited from F.Foldable.foldl

foldl1 :: (α->α->α) -> Identity α -> α

inherited from F.Foldable.foldl1

foldr :: (α->β->β) -> β -> Identity α -> β

inherited from F.Foldable.foldr

foldr1 :: (α->α->α) -> Identity α -> α

inherited from F.Foldable.foldr1

instance Functor Identity

Member Functions

fmap :: (α->β) -> Identity α -> Identity β
instance ListSource Identity

Member Functions

toList :: Identity α -> [α]
instance Monad Identity

Member Functions

>> :: Identity α -> Identity β -> Identity β

inherited from Monad.>>

>>= :: Identity α -> (α->Identity β) -> Identity β
join :: Identity (Identity α) -> Identity α

inherited from Monad.join

instance Monoid Monoid a => Identity a

Member Functions

mconcat :: Monoid α => [Identity α] -> Identity α

inherited from Monoid.Monoid.mconcat

mempty :: Monoid α => Identity α
mtimes :: Monoid α => Int -> Identity α -> Identity α

inherited from Monoid.Monoid.mtimes

instance Semigroup Semigroup a => Identity a

Member Functions

mappend :: Semigroup α => Identity α -> Identity α -> Identity α
sconcat :: Semigroup α => [Identity α] -> Identity α

inherited from Monoid.Semigroup.sconcat

stimes :: Semigroup α => Int -> Identity α -> Identity α

inherited from Monoid.Semigroup.stimes

Data Types

data Identity a

The identity functor and monad.

This trivial type constructor serves two purposes:

* It can be used with functions parameterized by a Functor or Monad.

* It can be used as a base monad to which a series of monad transformers may be applied to construct a composite monad. Most monad transformer modules include the special case of applying the transformer to Identity. For example, State s is an abbreviation for StateT s Identity.

Identity functor and monad.

Constructors

Identity {run :: a}

Member Functions

run :: Identity α -> α

access field run

Functions and Values by Type

(α->α->α) -> Identity α -> α

Foldable_Identity.foldl1, Foldable_Identity.foldr1

Identity (Identity α) -> Identity α

Monad_Identity.join

Identity α -> [α]

ListSource_Identity.toList

Identity α -> α

Identity.run

a -> Identity a

Identity.Identity

α -> Identity α

Applicative_Identity.return

α -> Bool

Identity.has$run

Monoid α => Identity α -> α

Foldable_Identity.fold

Monoid α => [Identity α] -> Identity α

Monoid_Identity.mconcat

Monoid α => Int -> Identity α -> Identity α

Monoid_Identity.mtimes

Semigroup α => Identity α -> Identity α -> Identity α

Semigroup_Identity.mappend

Semigroup α => Identity α -> α

Foldable_Identity.fold1

Semigroup α => [Identity α] -> Identity α

Semigroup_Identity.sconcat

Semigroup α => Int -> Identity α -> Identity α

Semigroup_Identity.stimes

Monoid α => Identity α

Monoid_Identity.mempty

(α->β->α) -> α -> Identity β -> α

Foldable_Identity.foldl

(α->β->β) -> β -> Identity α -> β

Foldable_Identity.foldr

(α->β) -> Identity α -> Identity β

Functor_Identity.fmap

Identity (α->β) -> Identity α -> Identity β

Applicative_Identity.<*>

Identity α -> (α->Identity β) -> Identity β

Monad_Identity.>>=

Identity α -> (α->β) -> Identity β

Identity.chg$run

Identity α -> Identity β -> Identity α

Applicative_Identity.<*

Identity α -> Identity β -> Identity β

Applicative_Identity.*>, Monad_Identity.>>

Identity α -> β -> Identity β

Identity.upd$run

Monoid β => (α->β) -> Identity α -> β

Foldable_Identity.foldMap

Semigroup β => (α->β) -> Identity α -> β

Foldable_Identity.foldMap1

Valid HTML 4.01 Strict