Presentation.Yeamer.Internal.Grid

Documentation

data Gridded a

Constructors

GridRegion a

GridDivisions [[Gridded a]]

Instances

Monad Gridded

Methods

(>>=) :: Gridded a -> (a -> Gridded b) -> Gridded b

(>>) :: Gridded a -> Gridded b -> Gridded b

return :: a -> Gridded a

fail :: String -> Gridded a

Functor Gridded

Methods

fmap :: (a -> b) -> Gridded a -> Gridded b

(<$) :: a -> Gridded b -> Gridded a

Applicative Gridded

Methods

pure :: a -> Gridded a

(<*>) :: Gridded (a -> b) -> Gridded a -> Gridded b

liftA2 :: (a -> b -> c) -> Gridded a -> Gridded b -> Gridded c

(*>) :: Gridded a -> Gridded b -> Gridded b

(<*) :: Gridded a -> Gridded b -> Gridded a

Foldable Gridded

Methods

fold :: Monoid m => Gridded m -> m

foldMap :: Monoid m => (a -> m) -> Gridded a -> m

foldr :: (a -> b -> b) -> b -> Gridded a -> b

foldr' :: (a -> b -> b) -> b -> Gridded a -> b

foldl :: (b -> a -> b) -> b -> Gridded a -> b

foldl' :: (b -> a -> b) -> b -> Gridded a -> b

foldr1 :: (a -> a -> a) -> Gridded a -> a

foldl1 :: (a -> a -> a) -> Gridded a -> a

toList :: Gridded a -> [a]

null :: Gridded a -> Bool

length :: Gridded a -> Int

elem :: Eq a => a -> Gridded a -> Bool

maximum :: Ord a => Gridded a -> a

minimum :: Ord a => Gridded a -> a

sum :: Num a => Gridded a -> a

product :: Num a => Gridded a -> a

Traversable Gridded

Methods

traverse :: Applicative f => (a -> f b) -> Gridded a -> f (Gridded b)

sequenceA :: Applicative f => Gridded (f a) -> f (Gridded a)

mapM :: Monad m => (a -> m b) -> Gridded a -> m (Gridded b)

sequence :: Monad m => Gridded (m a) -> m (Gridded a)

SemigroupNo 0 (Gridded a)

Methods

sappendN :: proxy 0 -> Gridded a -> Gridded a -> Gridded a

sconcatN :: proxy 0 -> NonEmpty (Gridded a) -> Gridded a

stimesN :: (Integral b, HasCallStack) => proxy 0 -> b -> Gridded a -> Gridded a

SemigroupNo 1 (Gridded a)

Methods

sappendN :: proxy 1 -> Gridded a -> Gridded a -> Gridded a

sconcatN :: proxy 1 -> NonEmpty (Gridded a) -> Gridded a

stimesN :: (Integral b, HasCallStack) => proxy 1 -> b -> Gridded a -> Gridded a

Eq a => Eq (Gridded a)

Methods

(==) :: Gridded a -> Gridded a -> Bool

(/=) :: Gridded a -> Gridded a -> Bool

Show a => Show (Gridded a)

Methods

showsPrec :: Int -> Gridded a -> ShowS

show :: Gridded a -> String

showList :: [Gridded a] -> ShowS

Generic (Gridded a)

Associated Types

type Rep (Gridded a) :: * -> *

Methods

from :: Gridded a -> Rep (Gridded a) x

to :: Rep (Gridded a) x -> Gridded a

ToJSON a => ToJSON (Gridded a)

Methods

toJSON :: Gridded a -> Value

toEncoding :: Gridded a -> Encoding

toJSONList :: [Gridded a] -> Value

toEncodingList :: [Gridded a] -> Encoding

FromJSON a => FromJSON (Gridded a)

Methods

parseJSON :: Value -> Parser (Gridded a)

parseJSONList :: Value -> Parser [Gridded a]

Flat a => Flat (Gridded a)

Methods

encode :: Gridded a -> Encoding

decode :: Get (Gridded a)

size :: Gridded a -> NumBits -> NumBits

type Rep (Gridded a)

type Rep (Gridded a) = D1 * (MetaData "Gridded" "Presentation.Yeamer.Internal.Grid" "yeamer-0.1.0.5-LwhGVN7y5Ij81WvnZ49mJs" False) ((:+:) * (C1 * (MetaCons "GridRegion" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a))) (C1 * (MetaCons "GridDivisions" PrefixI False) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [[Gridded a]]))))

data GridRange

Constructors

GridRange

Fields

• _xBegin, _xEnd, _yBegin, _yEnd :: Int

Instances

Eq GridRange

Methods

(==) :: GridRange -> GridRange -> Bool

(/=) :: GridRange -> GridRange -> Bool

Show GridRange

Methods

showsPrec :: Int -> GridRange -> ShowS

show :: GridRange -> String

showList :: [GridRange] -> ShowS

Generic GridRange

Associated Types

type Rep GridRange :: * -> *

Methods

from :: GridRange -> Rep GridRange x

to :: Rep GridRange x -> GridRange

type Rep GridRange

type Rep GridRange = D1 * (MetaData "GridRange" "Presentation.Yeamer.Internal.Grid" "yeamer-0.1.0.5-LwhGVN7y5Ij81WvnZ49mJs" False) (C1 * (MetaCons "GridRange" PrefixI True) ((:*:) * ((:*:) * (S1 * (MetaSel (Just Symbol "_xBegin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)) (S1 * (MetaSel (Just Symbol "_xEnd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int))) ((:*:) * (S1 * (MetaSel (Just Symbol "_yBegin") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)) (S1 * (MetaSel (Just Symbol "_yEnd") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)))))

yEnd :: Lens' GridRange Int

yBegin :: Lens' GridRange Int

xEnd :: Lens' GridRange Int

xBegin :: Lens' GridRange Int

data GridLayout a

Constructors

GridLayout

Fields

• _gridWidth, _gridHeight :: Int
• _gridContents :: [(GridRange, a)]

Instances

Functor GridLayout

Methods

fmap :: (a -> b) -> GridLayout a -> GridLayout b

(<$) :: a -> GridLayout b -> GridLayout a

Eq a => Eq (GridLayout a)

Methods

(==) :: GridLayout a -> GridLayout a -> Bool

(/=) :: GridLayout a -> GridLayout a -> Bool

Show a => Show (GridLayout a)

Methods

showsPrec :: Int -> GridLayout a -> ShowS

show :: GridLayout a -> String

showList :: [GridLayout a] -> ShowS

Generic (GridLayout a)

Associated Types

type Rep (GridLayout a) :: * -> *

Methods

from :: GridLayout a -> Rep (GridLayout a) x

to :: Rep (GridLayout a) x -> GridLayout a

type Rep (GridLayout a)

type Rep (GridLayout a) = D1 * (MetaData "GridLayout" "Presentation.Yeamer.Internal.Grid" "yeamer-0.1.0.5-LwhGVN7y5Ij81WvnZ49mJs" False) (C1 * (MetaCons "GridLayout" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "_gridWidth") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)) ((:*:) * (S1 * (MetaSel (Just Symbol "_gridHeight") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Int)) (S1 * (MetaSel (Just Symbol "_gridContents") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * [(GridRange, a)])))))

gridWidth :: forall a. Lens' (GridLayout a) Int

gridHeight :: forall a. Lens' (GridLayout a) Int

gridContents :: forall a a. Lens (GridLayout a) (GridLayout a) [(GridRange, a)] [(GridRange, a)]

layoutGrid :: Gridded a -> GridLayout a

type GridRegionId = Int

layoutGridP :: Gridded a -> (GridLayout (GridRegionId, a), [(GridRegionId, b)] -> Gridded b)

alignLayoutDirectional :: Lens' (GridLayout a) Int -> Lens' GridRange Int -> Lens' GridRange Int -> Lens' (GridLayout a) Int -> Lens' GridRange Int -> Lens' GridRange Int -> [GridLayout a] -> GridLayout a