Data.Grid.Internal.Shapes

Documentation

partitionFocus :: forall window a. (Centered window, IsGrid window) => Grid window a -> (a, Grid window (Maybe a))

centerCoord :: Centered dims => Coord dims

class Centered (dims :: [Nat])

Minimal complete definition

centerCoord

Instances

(OddC x, KnownNat x, Centered xs) => Centered (x ': xs)

Defined in Data.Grid.Internal.Shapes

Methods

centerCoord :: Coord (x ': xs)

(OddC x, KnownNat x) => Centered (x ': ([] :: [Nat]))

Defined in Data.Grid.Internal.Shapes

Methods

centerCoord :: Coord (x ': [])