Module Data.wrapper.Identity

Identity, along with instances for Functor, Applicative, Bind, Apply, Monad, Semigroup, Monoid and ListSource

Imports

import Data.Monoid as Monoid
import frege.Prelude as Prelude
import Prelude.PreludeArrays as PreludeArrays
import Prelude.PreludeBase as PreludeBase
import Prelude.PreludeDecimal as PreludeDecimal
import Prelude.PreludeIO as PreludeIO
import Prelude.PreludeList as PreludeList
import Prelude.PreludeMonad as PreludeMonad
import Prelude.PreludeText as PreludeText
import Java.util.Regex as Regexp

Table of Content

Definitions

data Identity a
Instances

instance Enum a ⇒ Enum (Identity a)

instance Eq a ⇒ Eq (Identity a)

instance ListSource Identity

instance Monad Identity

instance Monoid a ⇒ Monoid (Identity a)

instance Ord a ⇒ Ord (Identity a)

instance Semigroup a ⇒ Semigroup (Identity a)

instance Show a ⇒ Show (Identity a)
Functions and Values by Type

Definitions

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

Instances

instance Enum a ⇒ Enum (Identity a)

Member Functions

enumFrom ∷ Enum 𝖆 ⇒ Identity 𝖆 → [Identity 𝖆]: inherited from Enum.enumFrom
enumFromThen ∷ Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → [Identity 𝖆]
enumFromThenTo ∷ Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Identity 𝖆 → [Identity 𝖆]
enumFromTo ∷ Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → [Identity 𝖆]: inherited from Enum.enumFromTo
from ∷ Enum 𝖆 ⇒ Int → Identity 𝖆
ord ∷ Enum 𝖆 ⇒ Identity 𝖆 → Int
pred ∷ Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆
succ ∷ Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆

instance Eq a ⇒ Eq (Identity a)

Member Functions

!= ∷ Eq 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool
infix 7: inherited from Eq.!=
== ∷ Eq 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool
infix 7: Function generated for derived instance.
hashCode ∷ Eq 𝖆 ⇒ Identity 𝖆 → Int: Function generated for derived instance.

instance ListSource Identity

Member Functions

toList ∷ Identity 𝖆 → [𝖆]

instance Monad Identity

Member Functions

*> ∷ Identity 𝖆 → Identity 𝖇 → Identity 𝖇
infixl 4: inherited from Applicative.*>
<* ∷ Identity 𝖆 → Identity 𝖇 → Identity 𝖆
infixl 4: inherited from Applicative.<*
<*> ∷ Identity (𝖆→𝖇) → Identity 𝖆 → Identity 𝖇
infixl 4
>> ∷ Identity 𝖆 → Identity 𝖇 → Identity 𝖇
infixl 3
>>= ∷ Identity 𝖆 → (𝖆 → Identity 𝖇) → Identity 𝖇
infixl 3
fmap ∷ (𝖆 → 𝖇) → Identity 𝖆 → Identity 𝖇
infixl 4
join ∷ Identity (Identity 𝖆) → Identity 𝖆: inherited from Monad.join
pure ∷ 𝖆 → Identity 𝖆

instance Monoid a ⇒ Monoid (Identity a)

Member Functions

mconcat ∷ Monoid 𝖆 ⇒ [Identity 𝖆] → Identity 𝖆: inherited from Monoid.mconcat
mempty ∷ Monoid 𝖆 ⇒ Identity 𝖆
mtimes ∷ Monoid 𝖆 ⇒ Int → Identity 𝖆 → Identity 𝖆: inherited from Monoid.mtimes

instance Ord a ⇒ Ord (Identity a)

Member Functions

< ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool
infix 9: inherited from Ord.<
<= ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool
infix 9: inherited from Ord.<=
<=> ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Ordering
infix 8: Function generated for derived instance.
> ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool
infix 9: inherited from Ord.>
>= ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool
infix 9: inherited from Ord.>=
compare ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Ordering
infix 8: inherited from Ord.compare
max ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Identity 𝖆: inherited from Ord.max
min ∷ Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Identity 𝖆: inherited from Ord.min

instance Semigroup a ⇒ Semigroup (Identity a)

Member Functions

mappend ∷ Semigroup 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Identity 𝖆
infixr 13
sconcat ∷ Semigroup 𝖆 ⇒ [Identity 𝖆] → Identity 𝖆: inherited from Semigroup.sconcat
stimes ∷ Semigroup 𝖆 ⇒ Int → Identity 𝖆 → Identity 𝖆: inherited from Semigroup.stimes

instance Show a ⇒ Show (Identity a)

Member Functions

display ∷ Show 𝖆 ⇒ Identity 𝖆 → String
show ∷ Show 𝖆 ⇒ Identity 𝖆 → String
showChars ∷ Show 𝖆 ⇒ Identity 𝖆 → [Char]
showList ∷ Show 𝖆 ⇒ [Identity 𝖆] → String → String: inherited from Show.showList
showsPrec ∷ Show 𝖆 ⇒ Int → Identity 𝖆 → String → String: inherited from Show.showsPrec
showsub ∷ Show 𝖆 ⇒ Identity 𝖆 → String: inherited from Show.showsub

Functions and Values by Type

Identity (Identity 𝖆) → Identity 𝖆: Monad_Identity.join
Identity 𝖆 → [𝖆]: ListSource_Identity.toList
Identity 𝖆 → 𝖆: Identity.run
a → Identity a: Identity.Identity
𝖆 → Identity 𝖆: Monad_Identity.pure
𝖆 → Bool: Identity.has$run
Monoid 𝖆 ⇒ [Identity 𝖆] → Identity 𝖆: Monoid_Identity.mconcat
Monoid 𝖆 ⇒ Int → Identity 𝖆 → Identity 𝖆: Monoid_Identity.mtimes
Semigroup 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Identity 𝖆: Semigroup_Identity.mappend
Semigroup 𝖆 ⇒ [Identity 𝖆] → Identity 𝖆: Semigroup_Identity.sconcat
Semigroup 𝖆 ⇒ Int → Identity 𝖆 → Identity 𝖆: Semigroup_Identity.stimes
Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Identity 𝖆 → [Identity 𝖆]: Enum_Identity.enumFromThenTo
Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → [Identity 𝖆]: Enum_Identity.enumFromThen, Enum_Identity.enumFromTo
Enum 𝖆 ⇒ Identity 𝖆 → Identity 𝖆: Enum_Identity.succ, Enum_Identity.pred
Enum 𝖆 ⇒ Identity 𝖆 → [Identity 𝖆]: Enum_Identity.enumFrom
Enum 𝖆 ⇒ Identity 𝖆 → Int: Enum_Identity.ord
Enum 𝖆 ⇒ Int → Identity 𝖆: Enum_Identity.from
Eq 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool: Eq_Identity.!=, Eq_Identity.==
Eq 𝖆 ⇒ Identity 𝖆 → Int: Eq_Identity.hashCode
Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Identity 𝖆: Ord_Identity.min, Ord_Identity.max
Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Bool: Ord_Identity.>=, Ord_Identity.<, Ord_Identity.<=, Ord_Identity.>
Ord 𝖆 ⇒ Identity 𝖆 → Identity 𝖆 → Ordering: Ord_Identity.compare, Ord_Identity.<=>
Show 𝖆 ⇒ Identity 𝖆 → String: Show_Identity.showsub, Show_Identity.display, Show_Identity.show
Show 𝖆 ⇒ Identity 𝖆 → [Char]: Show_Identity.showChars
Show 𝖆 ⇒ [Identity 𝖆] → String → String: Show_Identity.showList
Show 𝖆 ⇒ Int → Identity 𝖆 → String → String: Show_Identity.showsPrec
Monoid 𝖆 ⇒ Identity 𝖆: Monoid_Identity.mempty
(𝖆 → 𝖇) → Identity 𝖆 → Identity 𝖇: Monad_Identity.fmap
Identity (𝖆→𝖇) → Identity 𝖆 → Identity 𝖇: Monad_Identity.<*>
Identity 𝖆 → (𝖆 → Identity 𝖇) → Identity 𝖇: Monad_Identity.>>=
Identity 𝖆 → Identity 𝖇 → Identity 𝖆: Monad_Identity.<*
Identity 𝖆 → Identity 𝖇 → Identity 𝖇: Monad_Identity.*>, Monad_Identity.>>
Identity 𝖆 → 𝖇 → Identity 𝖇: Identity.upd$run
Identity 𝖇 → (𝖇→𝖆) → Identity 𝖆: Identity.chg$run