maurice/snix
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(users/Profpatsch/my-prelude): inline RevList defs

Browse source 
Change-Id: Iab727a98a8c078ce5f32d53aa87ee149356997d4
Reviewed-on: https://cl.tvl.fyi/c/depot/+/13266
Reviewed-by: Profpatsch <mail@profpatsch.de>
Tested-by: BuildkiteCI
This commit is contained in:
Profpatsch 2025-03-14 15:40:21 +01:00
parent b21d538a27
commit 18f565567a
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
users/Profpatsch/my-prelude/src/RevList.hs
View file

@ -11,18 +11,23 @@ newtype RevList a = RevList [a]
deriving (Semigroup, Monoid) via (Semigroup.Dual [a]) deriving (Semigroup, Monoid) via (Semigroup.Dual [a])
empty :: RevList a empty :: RevList a
{-# INLINE empty #-}
empty = RevList [] empty = RevList []
singleton :: a -> RevList a singleton :: a -> RevList a
{-# INLINE singleton #-}
singleton a = RevList [a] singleton a = RevList [a]
-- | (@O(n)@) Turn the list into a reversed list (by reversing) -- | (@O(n)@) Turn the list into a reversed list (by reversing)
revList :: [a] -> RevList a revList :: [a] -> RevList a
{-# INLINE revList #-}
revList xs = RevList $ reverse xs revList xs = RevList $ reverse xs
-- | (@O(n)@) Turn the reversed list into a list (by reversing) -- | (@O(n)@) Turn the reversed list into a list (by reversing)
revListToList :: RevList a -> [a] revListToList :: RevList a -> [a]
{-# INLINE revListToList #-}
revListToList (RevList rev) = reverse rev revListToList (RevList rev) = reverse rev
instance (Show a) => Show (RevList a) where instance (Show a) => Show (RevList a) where
{-# INLINE show #-}
show (RevList rev) = rev & show show (RevList rev) = rev & show