github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 05:41:54 +03:00
Code Issues Projects Releases Wiki Activity

Rename inj'/prj' to unsafeInject/unsafeProject.

Browse Source
This commit is contained in:
Rob Rix 2018-05-02 11:47:20 -04:00
parent 1a562e6e07
commit ea8c694b3f
1 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
src/Data/Sum.hs
View File

@ -72,14 +72,14 @@ infixr 5 :<
data Sum (r :: [ * -> * ]) (v :: *) where
Sum :: {-# UNPACK #-} !Int -> t v -> Sum r v
inj' :: Int -> t v -> Sum r v
inj' = Sum
{-# INLINE inj' #-}
unsafeInject :: Int -> t v -> Sum r v
unsafeInject = Sum
{-# INLINE unsafeInject #-}
prj' :: Int -> Sum r v -> Maybe (t v)
prj' n (Sum n' x) | n == n' = Just (unsafeCoerce x)
unsafeProject :: Int -> Sum r v -> Maybe (t v)
unsafeProject n (Sum n' x) | n == n' = Just (unsafeCoerce x)
| otherwise = Nothing
{-# INLINE prj' #-}
{-# INLINE unsafeProject #-}
newtype P (t :: * -> *) (r :: [* -> *]) = P { unP :: Int }
@ -93,12 +93,12 @@ type (ts :<: r) = Elements ts r
-- | Inject a functor into a type-aligned sum.
inject :: forall e r v. (e :< r) => e v -> Sum r v
inject = inj' (unP (elemNo :: P e r))
inject = unsafeInject (unP (elemNo :: P e r))
{-# INLINE inject #-}
-- | Maybe project a functor out of a type-aligned sum.
project :: forall e r v. (e :< r) => Sum r v -> Maybe (e v)
project = prj' (unP (elemNo :: P e r))
project = unsafeProject (unP (elemNo :: P e r))
{-# INLINE project #-}