Safe Haskell	None
Language	Haskell2010

Parser.Utilities

Description

Assorted utilities.
Relative directories and file paths.

Synopsis

data Back = Back
data Directory = Directory [Back] [String]
data File_path = File_path Directory String String
(<->) :: String -> String -> String
(<//>) :: Directory -> File_path -> File_path
all_equal :: Eq t => [t] -> Maybe (Maybe t)
between :: Ord t => t -> t -> t -> Bool
check :: MonadError error f => error -> Bool -> f ()
check_ext :: String -> File_path -> Bool
construct_map :: Ord t => [(t, u)] -> Maybe (Map t u)
construct_set :: Ord t => [t] -> Maybe (Set t)
drop_file_name :: File_path -> Directory
element_at :: Int -> [t] -> Maybe t
lcm_all :: (Foldable f, Integral t) => f t -> t
read_file :: File_path -> IO (Maybe String)
swap_either :: Either t u -> Either u t
write_file_path :: File_path -> FilePath

Documentation

data Back Source #

Parent directory.

Constructors

Back

Instances

Instances details

Show Back Source #
Instance details Defined in Parser.Utilities Methods showsPrec :: Int -> Back -> ShowS # show :: Back -> String # showList :: [Back] -> ShowS #
Eq Back Source #
Instance details Defined in Parser.Utilities Methods (==) :: Back -> Back -> Bool # (/=) :: Back -> Back -> Bool #
Ord Back Source #
Instance details Defined in Parser.Utilities Methods compare :: Back -> Back -> Ordering # (<) :: Back -> Back -> Bool # (<=) :: Back -> Back -> Bool # (>) :: Back -> Back -> Bool # (>=) :: Back -> Back -> Bool # max :: Back -> Back -> Back # min :: Back -> Back -> Back #

data Directory Source #

Relative directory.

Constructors

Directory [Back] [String]

Instances

Instances details

Monoid Directory Source #
Instance details Defined in Parser.Utilities Methods mempty :: Directory # mappend :: Directory -> Directory -> Directory # mconcat :: [Directory] -> Directory #
Semigroup Directory Source #
Instance details Defined in Parser.Utilities Methods (<>) :: Directory -> Directory -> Directory # sconcat :: NonEmpty Directory -> Directory # stimes :: Integral b => b -> Directory -> Directory #
Show Directory Source #
Instance details Defined in Parser.Utilities Methods showsPrec :: Int -> Directory -> ShowS # show :: Directory -> String # showList :: [Directory] -> ShowS #
Eq Directory Source #
Instance details Defined in Parser.Utilities Methods (==) :: Directory -> Directory -> Bool # (/=) :: Directory -> Directory -> Bool #
Ord Directory Source #
Instance details Defined in Parser.Utilities Methods compare :: Directory -> Directory -> Ordering # (<) :: Directory -> Directory -> Bool # (<=) :: Directory -> Directory -> Bool # (>) :: Directory -> Directory -> Bool # (>=) :: Directory -> Directory -> Bool # max :: Directory -> Directory -> Directory # min :: Directory -> Directory -> Directory #

data File_path Source #

Relative file path.

Constructors

File_path Directory String String

Instances

Instances details

Show File_path Source #
Instance details Defined in Parser.Utilities Methods showsPrec :: Int -> File_path -> ShowS # show :: File_path -> String # showList :: [File_path] -> ShowS #
Eq File_path Source #
Instance details Defined in Parser.Utilities Methods (==) :: File_path -> File_path -> Bool # (/=) :: File_path -> File_path -> Bool #
Ord File_path Source #
Instance details Defined in Parser.Utilities Methods compare :: File_path -> File_path -> Ordering # (<) :: File_path -> File_path -> Bool # (<=) :: File_path -> File_path -> Bool # (>) :: File_path -> File_path -> Bool # (>=) :: File_path -> File_path -> Bool # max :: File_path -> File_path -> File_path # min :: File_path -> File_path -> File_path #

(<->) :: String -> String -> String infixr 5 Source #

Concatenate strings with a whitespace in between.

(<//>) :: Directory -> File_path -> File_path infixr 6 Source #

Prepend a directory to file path.

all_equal :: Eq t => [t] -> Maybe (Maybe t) Source #

Checks if all elements of a list are equal. Returns Nothing if all elements aren't equal, Just Nothing if the list is empty and Just (Just x) if all elements are equal to x.

between :: Ord t => t -> t -> t -> Bool Source #

Check if the value is in bounds.

check :: MonadError error f => error -> Bool -> f () Source #

Throw an error if the condition is not satisfied.

check_ext :: String -> File_path -> Bool Source #

Check file path extension.

construct_map :: Ord t => [(t, u)] -> Maybe (Map t u) Source #

Construct a map if all keys are different. Otherwise return Nothing.

construct_set :: Ord t => [t] -> Maybe (Set t) Source #

Construct a set if all elements are different. Otherwise return Nothing.

drop_file_name :: File_path -> Directory Source #

Get the directory part of a file path.