| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Data.Grid.Internal.Shapes
Documentation
partitionFocus :: forall window a. (Centered window, IsGrid window) => Grid window a -> (a, Grid window (Maybe a)) Source #
centerCoord :: Centered dims => Coord dims Source #
class Centered (dims :: [Nat]) Source #
Minimal complete definition
Instances
| (OddC x, KnownNat x, Centered xs) => Centered (x ': xs) Source # | |
Defined in Data.Grid.Internal.Shapes Methods centerCoord :: Coord (x ': xs) Source # | |
| (OddC x, KnownNat x) => Centered (x ': ([] :: [Nat])) Source # | |
Defined in Data.Grid.Internal.Shapes Methods centerCoord :: Coord (x ': []) Source # | |