FULE.Container.Item

A wrapper for heterogenous content to be used by other Containers.

Documentation

data ItemM m k

A container for heterogenous items. This container lets items of different types be used in the same aggregating container, like ArrayedM, GridM, or LayeredM.

When using ItemM you'll likely need to:

• Use the ScopedTypeVariables language extension and explicitly specify a forall m in your function declaration (if a type-variable is being used)
• Explicitly specify the type of your list of ItemM in the call to the aggregating container and wrap the list in parentheses

For example:

{-# LANGUAGE ScopedTypeVariables #-}

import FULE

...

someFn :: forall m => m (ArrayedM m Widget)
someFn = return $
  arrayedHoriz noPadding
    ([item someWidget
    , item someContainer
    , item someOtherWidget
    ]::[ItemM m Widget])

Reference: Heterogenous Collections

Instances

Monad m => Container (ItemM m k) k m

Defined in FULE.Container.Item

Methods

minWidth :: ItemM m k -> Proxy k -> m (Maybe Int)

minHeight :: ItemM m k -> Proxy k -> m (Maybe Int)

addToLayout :: ItemM m k -> Proxy k -> Bounds -> RenderGroup -> LayoutOp k m ()

type Item = ItemM Identity

Like ItemM but run in the Identity monad.

item :: Container c k m => c -> ItemM m k

Create an ItemM with a heterogenous item.