LGtk

Main LGtk interface.

Categories

class Category cat where

A class for categories. id and (.) must form a monoid.

Methods

id :: cat a a

the identity morphism

(.) :: cat b c -> cat a b -> cat a c

morphism composition

Instances

Category (->)

Category Lens

Monad m => Category (Kleisli m)

class Category c => Tensor c where

Methods

(***) :: c w x -> c y z -> c (w, y) (x, z)

first :: c w x -> c (w, z) (x, z)

second :: c y z -> c (w, y) (w, z)

Instances

Tensor (->)

Tensor Lens

liftM :: Monad m => (a1 -> r) -> m a1 -> m r

Promote a function to a monad.

Lenses

Construction

newtype Lens a b

Constructors

Lens

Fields

runLens :: a -> Store b a

Instances

Category Lens

Tensor Lens

Semigroupoid Lens

Reference (Lens a)

lens :: (a -> b) -> (b -> a -> a) -> Lens a b

build a lens out of a getter and setter

iso :: (a -> b) -> (b -> a) -> Lens a b

build a lens out of an isomorphism

Deconstruction

runLens :: Lens a b -> a -> Store b a

getL :: Lens a b -> a -> b

Gets the getter function from a lens.

setL :: Lens a b -> b -> a -> a

Gets the setter function from a lens.

modL :: Lens a b -> (b -> b) -> a -> a

Gets the modifier function from a lens.

Pure lenses

fstLens :: Lens (a, b) a

sndLens :: Lens (a, b) b

listLens :: Lens (Bool, (a, [a])) [a]

maybeLens :: Lens (Bool, a) (Maybe a)

Impure lenses

showLens :: (Show a, Read a) => Lens a String

Monad morphisms

type Morph m n = forall a. m a -> n a

Monad morphism. Think as m is a submonad of n.

class (Monad m, Monad (ReadPart m)) => HasReadPart m where

m is a monad which has a submonad ReadPart m which is isomorphic to Reader.

Associated Types

type ReadPart m :: * -> *

Law: (ReadPart m) === (Reader x) for some x.

Alternative laws which ensures this isomorphism (r :: ReadPart m a is arbitrary):

• (r >> return ()) === return ()
• liftM2 (,) r r === liftM (a -> (a, a)) r

See also http://stackoverflow.com/questions/16123588/what-is-this-special-functor-structure-called

Methods

liftReadPart :: Morph (ReadPart m) m

ReadPart m is a submonad of m

Instances

Monad m => HasReadPart (StateT s m)

ReadPart (StateT s m) = Reader s

References

Basic operations

class HasReadPart (RefMonad r) => Reference r where

A reference (r a) is isomorphic to (Lens s a) for some fixed state s.

r === Lens s

Associated Types

type RefMonad r :: * -> *

Refmonad r === State s

Property derived from the HasReadPart instance:

ReadPart (Refmonad r) === Reader s

Methods

readRef :: r a -> ReadPart (RefMonad r) a

readRef === reader . getL

Properties derived from the HasReadPart instance:

(readRef r >> return ()) === return ()

writeRef :: r a -> a -> RefMonad r ()

writeRef r === modify . setL r

Properties derived from the set-get, get-set and set-set laws for lenses:

• (readRef r >>= writeRef r) === return ()
• (writeRef r a >> readRef r) === return a
• (writeRef r a >> writeRef r a') === writeRef r a'

lensMap :: Lens a b -> r a -> r b

Apply a lens on a reference.

lensMap === (.)

joinRef :: ReadPart (RefMonad r) (r a) -> r a

joinRef makes possible to define dynamic references, i.e. references which depends on values of other references. It is not possible to create new reference dynamically with joinRef; for that, see onChange.

joinRef === Lens . join . (runLens .) . runReader

unitRef :: r ()

unitRef === lens (const ()) (const id)

Instances

Reference (Lens a)

Reference r => Reference (EqRef r)

Reference creation

class (Monad m, Reference (Ref m)) => ExtRef m where

Monad for reference creation. Reference creation is not a method of the Reference type class to make possible to create the same type of references in multiple monads.

(Extref m) === (StateT s m), where s is an extendible state.

For basic usage examples, look into the source of Control.Monad.ExtRef.Pure.Test.

Associated Types

type Ref m :: * -> *

Methods

extRef :: Ref m b -> Lens a b -> a -> m (Ref m a)

Reference creation by extending the state of an existing reference.

Suppose that r is a reference and k is a lens.

Law 1: extRef applies k on r backwards, i.e. the result of (extRef r k a0) should behaves exactly as (lensMap k r).

• (liftM (k .) $ extRef r k a0) === return r

Law 2: extRef does not change the value of r:

• (extRef r k a0 >> readRef r) === (readRef r)

Law 3: Proper initialization of newly defined reference with a0:

• (extRef r k a0 >>= readRef) === (readRef r >>= setL k a0)

newRef :: a -> m (Ref m a)

newRef extends the state s in an independent way.

newRef === extRef unitRef (lens (const ()) (const id))

Instances

ExtRef m => ExtRef (IdentityT m)

This instance is used in the implementation, end users do not need it.

(ExtRef m, Monoid w) => ExtRef (WriterT w m)

This instance is used in the implementation, end users do not need it.

(ExtRef m, Monoid w) => ExtRef (RWST r w s m)

This instance is used in the implementation, end users do not need it.

type ReadRef m = ReadPart (RefMonad (Ref m))

type WriteRef m = RefMonad (Ref m)

liftReadRef :: ExtRef m => Morph (ReadRef m) m

ReadRef lifted to the reference creation class.

Note that we do not lift WriteRef to the reference creation class, which a crucial restriction in the LGtk interface; this is a feature.

Derived constructs

modRef :: Reference r => r a -> (a -> a) -> RefMonad r ()

modRef r f === liftReadPart (readRef r) >>= writeRef r . f

readRef' :: ExtRef m => Ref m a -> m a

readRef lifted to the reference creation class.

readRef' === liftReadRef . readRef

memoRead :: ExtRef m => m a -> m (m a)

Lazy monadic evaluation. In case of y <- memoRead x, invoking y will invoke x at most once.

Laws:

• (memoRead x >> return ()) === return ()
• (memoRead x >>= id) === x
• (memoRead x >>= y -> liftM2 (,) y y) === liftM (a -> (a, a)) y
• (memoRead x >>= y -> liftM3 (,) y y y) === liftM (a -> (a, a, a)) y
• ...

undoTr

Arguments

:: ExtRef m

=> (a -> a -> Bool)

equality on state

-> Ref m a

reference of state

-> m (ReadRef m (Maybe (WriteRef m ())), ReadRef m (Maybe (WriteRef m ())))

undo and redo actions

Undo-redo state transformation.

data EqRef r a

References with inherent equivalence

Instances

Reference r => Reference (EqRef r)

eqRef :: (Reference r, Eq a) => r a -> EqRef r a

hasEffect is correct only if eqRef is applied on a pure reference (a reference which is a pure lens on the hidden state).

toRef :: Reference r => EqRef r a -> r a

hasEffect :: Reference r => EqRef r a -> (a -> a) -> ReadPart (RefMonad r) Bool

hasEffect r f returns False iff (modRef m f) === (return ()).

Dynamic networks

class ExtRef m => EffRef m where

Monad for dynamic actions

Methods

onChange :: Eq a => Bool -> ReadRef m a -> (a -> m (m ())) -> m ()

Let r be an effectless action (ReadRef guarantees this). onChange r fmm has the following effect:

Whenever the value of r changes (with respect to the given equality), fmm is called with the new value a. The value of the fmm a action is memoized, but the memoized value is run again and again.

For example, let (k :: a -> m b) and (h :: b -> m ()), and suppose that r will have values a1, a2, a3 = a1.

onChange r $ \a -> k a >>= return . h

has the effect

k a1 >>= \b1 -> h b1 >> k a2 >>= \b2 -> h b2 >> h b1

Instances

(ExtRef m, MonadRegister m, ExtRef (EffectM m), ~ (* -> *) (Ref m) (Ref (EffectM m))) => EffRef (IdentityT m)

This instance is used in the implementation, the end users do not need it.

I/O

class Monad m => SafeIO m where

Type class for effectless, synchronous IO actions.

Methods

getArgs :: m [String]

The program's command line arguments (not including the program name).

getProgName :: m String

The name of the program as it was invoked.

lookupEnv :: String -> m (Maybe String)

getEnv var returns the value of the environment variable var.

Instances

SafeIO IO

This instance is used in the implementation, the end users do not need it.

SafeIO m => SafeIO (IdentityT m)

This instance is used in the implementation, the end users do not need it.

(SafeIO m, Monoid w) => SafeIO (RWST r w s m)

This instance is used in the implementation, the end users do not need it.

class (EffRef m, SafeIO m, SafeIO (ReadRef m)) => EffIORef m where

Type class for IO actions.

Methods

asyncWrite :: Eq a => Int -> (a -> WriteRef m ()) -> a -> m ()

(asyncWrite t f a) has the effect of doing (f a) after waiting t milliseconds.

Note that (asyncWrite 0 f a) acts immediately after the completion of the current computation, so it is safe, because the effect of (f a) is not interleaved with the current computation. Although (asyncWrite 0) is safe, code using it has a bad small.

fileRef :: FilePath -> m (Ref m (Maybe String))

fileRef path returns a reference which holds the actual contents of the file accessed by path.

When the value of the reference changes, the file changes. When the file changes, the value of the reference changes.

If the reference holds Nothing, the file does not exist. Note that you delete the file by putting Nothing into the reference.

Implementation note: The references returned by fileRef are not memoised so currently it is unsafe to call fileRef on the same filepath more than once. This restriction will be lifted in the future.

putStr_ :: String -> m ()

Write a string to the standard output device.

getLine_ :: (String -> WriteRef m ()) -> m ()

Read a line from the standard input device. getLine_ f returns immediately. When the line s is read, f s is called.

Instances

(ExtRef m, MonadRegister m, ExtRef (EffectM m), ~ (* -> *) (Ref m) (Ref (EffectM m)), MonadIO' (EffectM m), SafeIO (ReadRef m), SafeIO m) => EffIORef (IdentityT m)

This instance is used in the implementation, the end users do not need it.

Derived constructs

putStrLn_ :: EffIORef m => String -> m ()

putStrLn_ === putStr_ . (++ n)

GUI

Running

type Widget m = Widget (EffectM m) m

Gtk widget descriptions. Construction of a (w :: forall m . EffIORef m => Widget m) value is side-effect free, side-effects happen at running (runWidget w).

Widget m should be abstract, but it is also safe to keep it as a type synonym because the operations of the revealed implementation are hidden.

runWidget :: (forall m. EffIORef m => Widget m) -> IO ()

Run a Gtk widget description.

The widget is shown in a window and the thread enters into the Gtk event cycle. It leaves the event cycle when the window is closed.

GUI descriptions

label :: EffRef m => ReadRef m String -> Widget m

Dynamic label.

button_

Arguments

:: EffRef m

=> ReadRef m String

dynamic label of the button

-> ReadRef m Bool

the button is active when this returns True

-> WriteRef m ()

the action to do when the button is pressed

-> Widget m

Low-level button.

data Color

Color

• Specifies a color with three integer values for red, green and blue. All values range from 0 (least intense) to 65535 (highest intensity).

Constructors

Color Word16 Word16 Word16

Instances

Eq Color

Show Color

Storable Color

checkbox :: EffRef m => Ref m Bool -> Widget m

Checkbox.

combobox :: EffRef m => [String] -> Ref m Int -> Widget m

Simple combo box.

entry :: EffRef m => Ref m String -> Widget m

Text entry.

vcat :: [Widget m] -> Widget m

Vertical composition of widgets.

hcat :: [Widget m] -> Widget m

Horizontal composition of widgets.

notebook :: EffRef m => [(String, Widget m)] -> Widget m

Notebook (tabs).

The tabs are created lazily.

cell_ :: (EffRef m, Eq a) => ReadRef m a -> (forall x. (Widget m -> m x) -> a -> m (m x)) -> Widget m

Dynamic cell.

The monadic action for inner widget creation is memoised in the first monad layer.

action :: EffRef m => m (Widget m) -> Widget m

action makes possible to do any EffRef action while creating the widget.

Derived constructs

empty :: Widget m

Empty widget.

entryShow :: (EffRef m, Show a, Read a) => Ref m a -> Widget m

Text entry.

button

Arguments

:: EffRef m

=> ReadRef m String

dynamic label of the button

-> ReadRef m (Maybe (WriteRef m ()))

when the Maybe value is Nothing, the button is inactive

-> Widget m

smartButton

Arguments

:: EffRef m

=> ReadRef m String

dynamic label of the button

-> EqRef (Ref m) a

underlying reference

-> (a -> a)

The button is active when this function is not identity on value of the reference. When the button is pressed, the value of the reference is modified with this function.

-> Widget m

cell :: (EffRef m, Eq a) => ReadRef m a -> (a -> Widget m) -> Widget m

Dynamic cell.

The inner widgets are memoised.

cellNoMemo :: (EffRef m, Eq a) => ReadRef m a -> (a -> Widget m) -> Widget m

Dynamic cell.

The inner widgets are not memoised.

Experimental

button__

Arguments

:: EffRef m

=> ReadRef m String

dynamic label of the button

-> ReadRef m Bool

the button is active when this returns True

-> ReadRef m Color

dynamic background color

-> WriteRef m ()

the action to do when the button is pressed

-> Widget m

Low-level button with changeable background color.