Package frege.data.wrapper.Const

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

Package Documentation

Table of Content

Imports

Instances

instance Applicative Monoid m => Const m

Member Functions

*> :: Monoid β => Const β γ -> Const β α -> Const β α

inherited from Applicative.*>

<* :: Monoid β => Const β γ -> Const β α -> Const β γ

inherited from Applicative.<*

<*> :: Monoid β => Const β (γ->α) -> Const β γ -> Const β α
return :: Monoid β => α -> Const β α
instance Functor Const m

Member Functions

fmap :: (γ->α) -> Const β γ -> Const β α

Data Types

data Const a b

Constructors

Const {get :: a}

Member Functions

get :: Const α β -> α

access field get

Functions and Values by Type

α -> Bool

Const.has$get

Const α β -> α

Const.get

a -> Const a b

Const.Const

Monoid β => α -> Const β α

Applicative_Const.return

(γ->α) -> 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

Valid HTML 4.01 Strict