Module Data.wrapper.Const

type level const Const is a way to use some arbitrary type as an applicative Functor

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 Const a b

• Instances

  instance Monoid m ⇒ Applicative (Const m)

  instance Functor (Const m)

• Functions and Values by Type

Definitions

data Const a b

Constructors

Const {get ∷ a}

Member Functions

get ∷ Const 𝖆 𝖇 → 𝖆

access field get

Instances

instance Monoid m ⇒ Applicative (Const m)

Member Functions

*> ∷ Monoid 𝖆 ⇒ Const 𝖆 𝖇 → Const 𝖆 𝖈 → Const 𝖆 𝖈
infixl  4

inherited from Applicative.*>

<* ∷ Monoid 𝖆 ⇒ Const 𝖆 𝖇 → Const 𝖆 𝖈 → Const 𝖆 𝖇
infixl  4

inherited from Applicative.<*

<*> ∷ Monoid 𝖆 ⇒ Const 𝖆 (𝖇→𝖈) → Const 𝖆 𝖇 → Const 𝖆 𝖈
infixl  4

pure ∷ Monoid 𝖆 ⇒ 𝖇 → Const 𝖆 𝖇

instance Functor (Const m)

Member Functions

fmap ∷ (𝖇 → 𝖈) → Const 𝖆 𝖇 → Const 𝖆 𝖈
infixl  4

Functions and Values by Type

𝖆 → Bool

Const.has$get

Const 𝖆 𝖇 → 𝖆

Const.get

a → Const a b

Const.Const

Monoid 𝖆 ⇒ 𝖇 → Const 𝖆 𝖇

Applicative_Const.pure

(𝖇 → 𝖈) → Const 𝖆 𝖇 → Const 𝖆 𝖈

Functor_Const.fmap

Monoid 𝖆 ⇒ Const 𝖆 (𝖇→𝖈) → Const 𝖆 𝖇 → Const 𝖆 𝖈

Applicative_Const.<*>

Monoid 𝖆 ⇒ Const 𝖆 𝖇 → Const 𝖆 𝖈 → Const 𝖆 𝖇

Applicative_Const.<*

Monoid 𝖆 ⇒ Const 𝖆 𝖇 → Const 𝖆 𝖈 → Const 𝖆 𝖈

Applicative_Const.*>

Const 𝖆 𝖇 → 𝖈 → Const 𝖈 𝖉

Const.upd$get

Const 𝖉 𝖆 → (𝖉→𝖇) → Const 𝖇 𝖈

Const.chg$get