Compiled: Wed Dec 05 00:09:49 PST 2012 from source file: ./frege/data/wrapper/Const.fr
Package Documentation
Table of Content
Imports
-
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 Const a b
-
Constructors
-
Const {get :: a}
-
Member Functions
-
get :: Const α β -> α
-
access field get
-
α -> 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
