-------------------------------------------------------------------------------- -- | -- Module : Data.Geometry.QuadTree.Quadrants -- Copyright : (C) Frank Staals -- License : see the LICENSE file -- Maintainer : Frank Staals -------------------------------------------------------------------------------- module Data.Geometry.QuadTree.Quadrants( pattern Quadrants , Quadrants , module Data.Geometry.Box.Corners ) where import Data.Geometry.Box.Corners -------------------------------------------------------------------------------- type Quadrants = Corners pattern Quadrants :: a -> a -> a -> a -> Corners a pattern $bQuadrants :: a -> a -> a -> a -> Corners a $mQuadrants :: forall r a. Corners a -> (a -> a -> a -> a -> r) -> (Void# -> r) -> r Quadrants a b c d = Corners a b c d {-# COMPLETE Quadrants #-} --------------------------------------------------------------------------------