{-# LANGUAGE BlockArguments #-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE ViewPatterns #-}

-- | Specialized and inlined @V2 Int32@.

module Geomancy.IVec2
  ( IVec2
  , ivec2
  , withIVec2
  , pattern WithIVec2
  , convert
  , fromTuple
  , dot
  ) where

import Control.DeepSeq (NFData(rnf))
import Data.Coerce (Coercible, coerce)
import Data.Int (Int32)
import Data.MonoTraversable (Element, MonoFunctor(..), MonoPointed(..))
import Foreign (Storable(..))
import Foreign.Ptr.Diff (peekDiffOff, pokeDiffOff)
import GHC.Ix (Ix(..))

import Geomancy.Elementwise (Elementwise(..))
import Graphics.Gl.Block (Block(..))

data IVec2 = IVec2
  {-# UNPACK #-} !Int32
  {-# UNPACK #-} !Int32
  deriving (IVec2 -> IVec2 -> Bool
(IVec2 -> IVec2 -> Bool) -> (IVec2 -> IVec2 -> Bool) -> Eq IVec2
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: IVec2 -> IVec2 -> Bool
== :: IVec2 -> IVec2 -> Bool
$c/= :: IVec2 -> IVec2 -> Bool
/= :: IVec2 -> IVec2 -> Bool
Eq, Eq IVec2
Eq IVec2 =>
(IVec2 -> IVec2 -> Ordering)
-> (IVec2 -> IVec2 -> Bool)
-> (IVec2 -> IVec2 -> Bool)
-> (IVec2 -> IVec2 -> Bool)
-> (IVec2 -> IVec2 -> Bool)
-> (IVec2 -> IVec2 -> IVec2)
-> (IVec2 -> IVec2 -> IVec2)
-> Ord IVec2
IVec2 -> IVec2 -> Bool
IVec2 -> IVec2 -> Ordering
IVec2 -> IVec2 -> IVec2
forall a.
Eq a =>
(a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
$ccompare :: IVec2 -> IVec2 -> Ordering
compare :: IVec2 -> IVec2 -> Ordering
$c< :: IVec2 -> IVec2 -> Bool
< :: IVec2 -> IVec2 -> Bool
$c<= :: IVec2 -> IVec2 -> Bool
<= :: IVec2 -> IVec2 -> Bool
$c> :: IVec2 -> IVec2 -> Bool
> :: IVec2 -> IVec2 -> Bool
$c>= :: IVec2 -> IVec2 -> Bool
>= :: IVec2 -> IVec2 -> Bool
$cmax :: IVec2 -> IVec2 -> IVec2
max :: IVec2 -> IVec2 -> IVec2
$cmin :: IVec2 -> IVec2 -> IVec2
min :: IVec2 -> IVec2 -> IVec2
Ord, Int -> IVec2 -> ShowS
[IVec2] -> ShowS
IVec2 -> String
(Int -> IVec2 -> ShowS)
-> (IVec2 -> String) -> ([IVec2] -> ShowS) -> Show IVec2
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> IVec2 -> ShowS
showsPrec :: Int -> IVec2 -> ShowS
$cshow :: IVec2 -> String
show :: IVec2 -> String
$cshowList :: [IVec2] -> ShowS
showList :: [IVec2] -> ShowS
Show)

{-# INLINE ivec2 #-}
ivec2 :: Int32 -> Int32 -> IVec2
ivec2 :: Int32 -> Int32 -> IVec2
ivec2 = Int32 -> Int32 -> IVec2
IVec2

{-# INLINE withIVec2 #-}
withIVec2
  :: IVec2
  -> (Int32 -> Int32 -> r)
  -> r
withIVec2 :: forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 (IVec2 Int32
a Int32
b) Int32 -> Int32 -> r
f = Int32 -> Int32 -> r
f Int32
a Int32
b

{-# INLINE convert #-}
convert :: Coercible v IVec2 => (Int32 -> a) -> (a -> a -> r) -> v -> r
convert :: forall v a r.
Coercible v IVec2 =>
(Int32 -> a) -> (a -> a -> r) -> v -> r
convert Int32 -> a
f a -> a -> r
t v
v =
  IVec2 -> (Int32 -> Int32 -> r) -> r
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 (v -> IVec2
forall a b. Coercible a b => a -> b
coerce v
v) \Int32
a Int32
b ->
    a -> a -> r
t (Int32 -> a
f Int32
a) (Int32 -> a
f Int32
b)

pattern WithIVec2 :: Int32 -> Int32 -> IVec2
pattern $mWithIVec2 :: forall {r}. IVec2 -> (Int32 -> Int32 -> r) -> ((# #) -> r) -> r
WithIVec2 a b <- ((`withIVec2` (,)) -> (a, b))
{-# COMPLETE WithIVec2 #-}

{-# INLINE fromTuple #-}
fromTuple :: (Int32, Int32) -> IVec2
fromTuple :: (Int32, Int32) -> IVec2
fromTuple (Int32
x, Int32
y) = Int32 -> Int32 -> IVec2
ivec2 Int32
x Int32
y

{-# INLINE dot #-}
dot :: IVec2 -> IVec2 -> Int32
dot :: IVec2 -> IVec2 -> Int32
dot (IVec2 Int32
l1 Int32
l2) (IVec2 Int32
r1 Int32
r2) =
  Int32
l1 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
* Int32
r1 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
+ Int32
l2 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
* Int32
r2

instance NFData IVec2 where
  rnf :: IVec2 -> ()
rnf IVec2{} = ()

type instance Element IVec2 = Int32

instance MonoFunctor IVec2 where
  {-# INLINE omap #-}
  omap :: (Element IVec2 -> Element IVec2) -> IVec2 -> IVec2
omap Element IVec2 -> Element IVec2
f IVec2
v =
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
v \Int32
x Int32
y ->
      Int32 -> Int32 -> IVec2
ivec2 (Element IVec2 -> Element IVec2
f Int32
Element IVec2
x) (Element IVec2 -> Element IVec2
f Int32
Element IVec2
y)

instance MonoPointed IVec2 where
  {-# INLINE opoint #-}
  opoint :: Element IVec2 -> IVec2
opoint Element IVec2
x = Int32 -> Int32 -> IVec2
ivec2 Int32
Element IVec2
x Int32
Element IVec2
x

instance Elementwise IVec2 where
  {-# INLINE emap2 #-}
  emap2 :: (Element IVec2 -> Element IVec2 -> Element IVec2)
-> IVec2 -> IVec2 -> IVec2
emap2 Element IVec2 -> Element IVec2 -> Element IVec2
f IVec2
p0 IVec2
p1 =
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p0 \Int32
x0 Int32
y0 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p1 \Int32
x1 Int32
y1 ->
      Int32 -> Int32 -> IVec2
ivec2
        (Element IVec2 -> Element IVec2 -> Element IVec2
f Int32
Element IVec2
x0 Int32
Element IVec2
x1)
        (Element IVec2 -> Element IVec2 -> Element IVec2
f Int32
Element IVec2
y0 Int32
Element IVec2
y1)

  {-# INLINE emap3 #-}
  emap3 :: (Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2)
-> IVec2 -> IVec2 -> IVec2 -> IVec2
emap3 Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2
f IVec2
p0 IVec2
p1 IVec2
p2 =
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p0 \Int32
x0 Int32
y0 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p1 \Int32
x1 Int32
y1 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p2 \Int32
x2 Int32
y2 ->
      Int32 -> Int32 -> IVec2
ivec2
        (Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2
f Int32
Element IVec2
x0 Int32
Element IVec2
x1 Int32
Element IVec2
x2)
        (Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2
f Int32
Element IVec2
y0 Int32
Element IVec2
y1 Int32
Element IVec2
y2)

  {-# INLINE emap4 #-}
  emap4 :: (Element IVec2
 -> Element IVec2
 -> Element IVec2
 -> Element IVec2
 -> Element IVec2)
-> IVec2 -> IVec2 -> IVec2 -> IVec2 -> IVec2
emap4 Element IVec2
-> Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2
f IVec2
p0 IVec2
p1 IVec2
p2 IVec2
p3 =
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p0 \Int32
x0 Int32
y0 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p1 \Int32
x1 Int32
y1 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p2 \Int32
x2 Int32
y2 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p3 \Int32
x3 Int32
y3 ->
      Int32 -> Int32 -> IVec2
ivec2
        (Element IVec2
-> Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2
f Int32
Element IVec2
x0 Int32
Element IVec2
x1 Int32
Element IVec2
x2 Int32
Element IVec2
x3)
        (Element IVec2
-> Element IVec2 -> Element IVec2 -> Element IVec2 -> Element IVec2
f Int32
Element IVec2
y0 Int32
Element IVec2
y1 Int32
Element IVec2
y2 Int32
Element IVec2
y3)

  {-# INLINE emap5 #-}
  emap5 :: (Element IVec2
 -> Element IVec2
 -> Element IVec2
 -> Element IVec2
 -> Element IVec2
 -> Element IVec2)
-> IVec2 -> IVec2 -> IVec2 -> IVec2 -> IVec2 -> IVec2
emap5 Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
f IVec2
p0 IVec2
p1 IVec2
p2 IVec2
p3 IVec2
p4 =
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p0 \Int32
x0 Int32
y0 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p1 \Int32
x1 Int32
y1 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p2 \Int32
x2 Int32
y2 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p3 \Int32
x3 Int32
y3 ->
    IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
p4 \Int32
x4 Int32
y4 ->
      Int32 -> Int32 -> IVec2
ivec2
        (Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
f Int32
Element IVec2
x0 Int32
Element IVec2
x1 Int32
Element IVec2
x2 Int32
Element IVec2
x3 Int32
Element IVec2
x4)
        (Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
-> Element IVec2
f Int32
Element IVec2
y0 Int32
Element IVec2
y1 Int32
Element IVec2
y2 Int32
Element IVec2
y3 Int32
Element IVec2
y4)

-- XXX: That's one nasty instance...
instance Num IVec2 where
  {-# INLINE (+) #-}
  IVec2 Int32
l1 Int32
l2 + :: IVec2 -> IVec2 -> IVec2
+ IVec2 Int32
r1 Int32
r2 =
    Int32 -> Int32 -> IVec2
IVec2
      (Int32
l1 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
+ Int32
r1)
      (Int32
l2 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
+ Int32
r2)

  {-# INLINE (-) #-}
  IVec2 Int32
l1 Int32
l2 - :: IVec2 -> IVec2 -> IVec2
- IVec2 Int32
r1 Int32
r2 =
    Int32 -> Int32 -> IVec2
IVec2
      (Int32
l1 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
- Int32
r1)
      (Int32
l2 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
- Int32
r2)

  {-# INLINE (*) #-}
  IVec2 Int32
l1 Int32
l2 * :: IVec2 -> IVec2 -> IVec2
* IVec2 Int32
r1 Int32
r2 =
    Int32 -> Int32 -> IVec2
IVec2
      (Int32
l1 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
* Int32
r1)
      (Int32
l2 Int32 -> Int32 -> Int32
forall a. Num a => a -> a -> a
* Int32
r2)

  {-# INLINE abs #-}
  abs :: IVec2 -> IVec2
abs (IVec2 Int32
a Int32
b) =
    Int32 -> Int32 -> IVec2
IVec2 (Int32 -> Int32
forall a. Num a => a -> a
abs Int32
a) (Int32 -> Int32
forall a. Num a => a -> a
abs Int32
b)

  {-# INLINE signum #-}
  signum :: IVec2 -> IVec2
signum IVec2
v2 = IVec2 -> (Int32 -> Int32 -> IVec2) -> IVec2
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
v2 \Int32
a Int32
b ->
    Int32 -> Int32 -> IVec2
ivec2 (Int32 -> Int32
forall a. Num a => a -> a
signum Int32
a) (Int32 -> Int32
forall a. Num a => a -> a
signum Int32
b)

  {-# INLINE fromInteger #-}
  fromInteger :: Integer -> IVec2
fromInteger Integer
x = Int32 -> Int32 -> IVec2
IVec2 Int32
x' Int32
x'
    where
      x' :: Int32
x' = Integer -> Int32
forall a. Num a => Integer -> a
fromInteger Integer
x

instance Storable IVec2 where
  {-# INLINE sizeOf #-}
  sizeOf :: IVec2 -> Int
sizeOf IVec2
_ = Int
8

  {-# INLINE alignment #-}
  alignment :: IVec2 -> Int
alignment IVec2
_ = Int
8

  {-# INLINE poke #-}
  poke :: Ptr IVec2 -> IVec2 -> IO ()
poke Ptr IVec2
ptr IVec2
v4 =
    IVec2 -> (Int32 -> Int32 -> IO ()) -> IO ()
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
v4 \Int32
a Int32
b -> do
      Ptr IVec2 -> Int -> Int32 -> IO ()
forall b. Ptr b -> Int -> Int32 -> IO ()
forall a b. Storable a => Ptr b -> Int -> a -> IO ()
pokeByteOff Ptr IVec2
ptr Int
0 Int32
a
      Ptr IVec2 -> Int -> Int32 -> IO ()
forall b. Ptr b -> Int -> Int32 -> IO ()
forall a b. Storable a => Ptr b -> Int -> a -> IO ()
pokeByteOff Ptr IVec2
ptr Int
4 Int32
b

  {-# INLINE peek #-}
  peek :: Ptr IVec2 -> IO IVec2
peek Ptr IVec2
ptr = Int32 -> Int32 -> IVec2
ivec2
    (Int32 -> Int32 -> IVec2) -> IO Int32 -> IO (Int32 -> IVec2)
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> Ptr IVec2 -> Int -> IO Int32
forall b. Ptr b -> Int -> IO Int32
forall a b. Storable a => Ptr b -> Int -> IO a
peekByteOff Ptr IVec2
ptr Int
0
    IO (Int32 -> IVec2) -> IO Int32 -> IO IVec2
forall a b. IO (a -> b) -> IO a -> IO b
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> Ptr IVec2 -> Int -> IO Int32
forall b. Ptr b -> Int -> IO Int32
forall a b. Storable a => Ptr b -> Int -> IO a
peekByteOff Ptr IVec2
ptr Int
4

instance Block IVec2 where
  type PackedSize IVec2 = 8
  alignment140 :: forall (proxy :: * -> *). proxy IVec2 -> Int
alignment140 proxy IVec2
_  = Int
8
  sizeOf140 :: forall (proxy :: * -> *). proxy IVec2 -> Int
sizeOf140 proxy IVec2
_     = Int
8
  alignment430 :: forall (proxy :: * -> *). proxy IVec2 -> Int
alignment430    = proxy IVec2 -> Int
forall b (proxy :: * -> *). Block b => proxy b -> Int
forall (proxy :: * -> *). proxy IVec2 -> Int
alignment140
  sizeOf430 :: forall (proxy :: * -> *). proxy IVec2 -> Int
sizeOf430       = proxy IVec2 -> Int
forall b (proxy :: * -> *). Block b => proxy b -> Int
forall (proxy :: * -> *). proxy IVec2 -> Int
sizeOf140
  isStruct :: forall (proxy :: * -> *). proxy IVec2 -> Bool
isStruct proxy IVec2
_      = Bool
False
  read140 :: forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> m IVec2
read140     = Ptr a -> Diff a IVec2 -> m IVec2
forall (m :: * -> *) b a.
(MonadIO m, Storable b) =>
Ptr a -> Diff a b -> m b
peekDiffOff
  write140 :: forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> IVec2 -> m ()
write140    = Ptr a -> Diff a IVec2 -> IVec2 -> m ()
forall (m :: * -> *) b a.
(MonadIO m, Storable b) =>
Ptr a -> Diff a b -> b -> m ()
pokeDiffOff
  read430 :: forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> m IVec2
read430     = Ptr a -> Diff a IVec2 -> m IVec2
forall b (m :: * -> *) a.
(Block b, MonadIO m) =>
Ptr a -> Diff a b -> m b
forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> m IVec2
read140
  write430 :: forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> IVec2 -> m ()
write430    = Ptr a -> Diff a IVec2 -> IVec2 -> m ()
forall b (m :: * -> *) a.
(Block b, MonadIO m) =>
Ptr a -> Diff a b -> b -> m ()
forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> IVec2 -> m ()
write140
  readPacked :: forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> m IVec2
readPacked  = Ptr a -> Diff a IVec2 -> m IVec2
forall b (m :: * -> *) a.
(Block b, MonadIO m) =>
Ptr a -> Diff a b -> m b
forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> m IVec2
read140
  writePacked :: forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> IVec2 -> m ()
writePacked = Ptr a -> Diff a IVec2 -> IVec2 -> m ()
forall b (m :: * -> *) a.
(Block b, MonadIO m) =>
Ptr a -> Diff a b -> b -> m ()
forall (m :: * -> *) a.
MonadIO m =>
Ptr a -> Diff a IVec2 -> IVec2 -> m ()
write140
  {-# INLINE alignment140 #-}
  {-# INLINE sizeOf140 #-}
  {-# INLINE alignment430 #-}
  {-# INLINE sizeOf430 #-}
  {-# INLINE isStruct #-}
  {-# INLINE read140 #-}
  {-# INLINE write140 #-}
  {-# INLINE read430 #-}
  {-# INLINE write430 #-}
  {-# INLINE readPacked #-}
  {-# INLINE writePacked #-}

instance Ix IVec2 where
  {-# INLINE range #-}
  range :: (IVec2, IVec2) -> [IVec2]
range (IVec2
l, IVec2
u) =
    IVec2 -> (Int32 -> Int32 -> [IVec2]) -> [IVec2]
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
l \Int32
l1 Int32
l2 ->
      IVec2 -> (Int32 -> Int32 -> [IVec2]) -> [IVec2]
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
u \Int32
u1 Int32
u2 ->
        Int32 -> Int32 -> IVec2
ivec2
          (Int32 -> Int32 -> IVec2) -> [Int32] -> [Int32 -> IVec2]
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> (Int32, Int32) -> [Int32]
forall a. Ix a => (a, a) -> [a]
range (Int32
l1, Int32
u1)
          [Int32 -> IVec2] -> [Int32] -> [IVec2]
forall a b. [a -> b] -> [a] -> [b]
forall (f :: * -> *) a b. Applicative f => f (a -> b) -> f a -> f b
<*> (Int32, Int32) -> [Int32]
forall a. Ix a => (a, a) -> [a]
range (Int32
l2, Int32
u2)

  {-# INLINE unsafeIndex #-}
  unsafeIndex :: (IVec2, IVec2) -> IVec2 -> Int
unsafeIndex (IVec2
l, IVec2
u) IVec2
i =
    IVec2 -> (Int32 -> Int32 -> Int) -> Int
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
l \Int32
l1 Int32
l2 ->
      IVec2 -> (Int32 -> Int32 -> Int) -> Int
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
u \Int32
u1 Int32
u2 ->
        IVec2 -> (Int32 -> Int32 -> Int) -> Int
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
i \Int32
i1 Int32
i2 ->
          (Int32, Int32) -> Int32 -> Int
forall a. Ix a => (a, a) -> a -> Int
unsafeIndex (Int32
l2, Int32
u2) Int32
i2 Int -> Int -> Int
forall a. Num a => a -> a -> a
+ (Int32, Int32) -> Int
forall a. Ix a => (a, a) -> Int
unsafeRangeSize (Int32
l2, Int32
u2) Int -> Int -> Int
forall a. Num a => a -> a -> a
*
          (Int32, Int32) -> Int32 -> Int
forall a. Ix a => (a, a) -> a -> Int
unsafeIndex (Int32
l1, Int32
u1) Int32
i1

  {-# INLINE inRange #-}
  inRange :: (IVec2, IVec2) -> IVec2 -> Bool
inRange (IVec2
l, IVec2
u) IVec2
i =
    IVec2 -> (Int32 -> Int32 -> Bool) -> Bool
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
l \Int32
l1 Int32
l2 ->
      IVec2 -> (Int32 -> Int32 -> Bool) -> Bool
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
u \Int32
u1 Int32
u2 ->
        IVec2 -> (Int32 -> Int32 -> Bool) -> Bool
forall r. IVec2 -> (Int32 -> Int32 -> r) -> r
withIVec2 IVec2
i \Int32
i1 Int32
i2 ->
          (Int32, Int32) -> Int32 -> Bool
forall a. Ix a => (a, a) -> a -> Bool
inRange (Int32
l1, Int32
u1) Int32
i1 Bool -> Bool -> Bool
&&
          (Int32, Int32) -> Int32 -> Bool
forall a. Ix a => (a, a) -> a -> Bool
inRange (Int32
l2, Int32
u2) Int32
i2