mirror of
https://github.com/HuwCampbell/grenade.git
synced 2024-11-25 05:34:37 +03:00
commit
9309b3ba7a
@ -49,7 +49,7 @@ instance Serialize (Pad l t r b) where
|
|||||||
put _ = return ()
|
put _ = return ()
|
||||||
get = return Pad
|
get = return Pad
|
||||||
|
|
||||||
-- | A two dimentional image can be padped.
|
-- | A two dimentional image can be padded.
|
||||||
instance ( KnownNat padLeft
|
instance ( KnownNat padLeft
|
||||||
, KnownNat padTop
|
, KnownNat padTop
|
||||||
, KnownNat padRight
|
, KnownNat padRight
|
||||||
@ -79,7 +79,7 @@ instance ( KnownNat padLeft
|
|||||||
vs = subMatrix (padt, padl) (nrows, ncols) m
|
vs = subMatrix (padt, padl) (nrows, ncols) m
|
||||||
in ((), S2D . fromJust . create $ vs)
|
in ((), S2D . fromJust . create $ vs)
|
||||||
|
|
||||||
-- | A two dimentional image can be padped.
|
-- | A two dimentional image can be padded.
|
||||||
instance ( KnownNat padLeft
|
instance ( KnownNat padLeft
|
||||||
, KnownNat padTop
|
, KnownNat padTop
|
||||||
, KnownNat padRight
|
, KnownNat padRight
|
||||||
|
Loading…
Reference in New Issue
Block a user