add strict family function and function to get file extensions

Core/Strict.hs

@@ -0,0 +1,33 @@
+-- |
+-- Module      : Core.Strict
+-- License     : BSD-style
+-- Maintainer  : Foundatinon
+-- Stability   : stable
+-- Portability : portable
+--
+-- Enforce strictness when executing lambda
+--
+
+module Core.Strict
+    ( strict2
+    , strict3
+    , strict4
+    , strict5
+    , strict6
+    ) where
+
+strict2 :: (a -> b -> c) -> a -> b -> c
+strict2 f !a !b = f a b
+
+strict3 :: (a -> b -> c -> d) -> a -> b -> c -> d
+strict3 f !a !b !c = f a b c
+
+strict4 :: (a -> b -> c -> d -> e) -> a -> b -> c -> d -> e
+strict4 f !a !b !c !d = f a b c d
+
+strict5 :: (a -> b -> c -> d -> e -> f) -> a -> b -> c -> d -> e -> f
+strict5 f !a !b !c !d !e = f a b c d e
+
+strict6 :: (a -> b -> c -> d -> e -> f -> g) -> a -> b -> c -> d -> e -> f -> g
+strict6 f !a !b !c !d !e !g = f a b c d e g
+

Core/VFS/FilePath.hs

@@ -31,6 +31,7 @@ module Core.VFS.FilePath
       -- ** unsafe
     , unsafeFilePath
     , unsafeFileName
+    , extension
     ) where
 
 import Core
@@ -40,7 +41,7 @@ import Core.String (Encoding(..), ValidationFailure, toBytes, fromBytes)
 import Core.VFS.Path(Path(..))
 
 import qualified Data.List
-
+import Core.Partial
 -- ------------------------------------------------------------------------- --
 --                           System related helpers                          --
 -- ------------------------------------------------------------------------- --
@@ -148,7 +149,6 @@ instance IsString FilePath where
 --
 data FileName = FileName ByteArray
   deriving (Eq)
-
 -- | errors related to FileName manipulation
 data FileName_Invalid
     = ContainsNullByte
@@ -248,3 +248,9 @@ unsafeFilePath = FilePath
 -- this is unsafe and is mainly needed for testing purpose
 unsafeFileName :: ByteArray -> FileName
 unsafeFileName = FileName
+
+extension :: FileName -> Maybe FileName
+extension (FileName fn) = case splitOn (\c -> c == 0x2E) fn of
+                            [] -> Nothing
+                            [_] -> Nothing
+                            xs -> Just $ FileName $ fromPartial $ head $ reverse xs 

foundation.cabal

@@ -54,6 +54,7 @@ Library
                      Core.Collection
                      Core.Primitive
                      Core.System.Info
+                     Core.Strict
                      -- Core.View
   Other-modules:     Core.String.Internal
                      Core.String.UTF8