System.Environment.Guard.Lifted

System.Environment.Guard for MonadIO.

Since: 0.1

Checking environment variable is set

guardSet :: MonadIO m => String -> m a -> m (Maybe a)

guardSet var io runs io iff

1. The environment variable var is set.

guardSet var === guardPredicate var (const True)

Examples

>>> guardSet "NOT_SET" (putStrLn "ran io" $> True)
Nothing

>>> setEnv "SET" "foo"
>>> guardSet "SET" (putStrLn "ran io" $> True)
ran io
Just True

Since: 0.1

guardSet_ :: MonadIO m => String -> m a -> m ()

Variant of guardSet that ignores the return value.

Since: 0.1

Checking environment variable match

guardExpected :: MonadIO m => String -> String -> m a -> m (Maybe a)

guardExpected var expected io runs io iff

1. The environment variable var is set.
2. var's value equals expected. This is case-insensitive.

guardExpected var expected === guardPredicate var (\a b -> fmap toLower a == fmap toLower b)

Examples

>>> guardExpected "NOT_SET" "val" (putStrLn "ran io" $> True)
Nothing

>>> setEnv "WRONG_VAL" "good_val"
>>> guardExpected "WRONG_VAL" "bad_val" (putStrLn "ran io" $> True)
Nothing

>>> setEnv "WILL_RUN" "val"
>>> guardExpected "WILL_RUN" "VAL" (putStrLn "ran io" $> True)
ran io
Just True

Since: 0.1

guardExpected_ :: MonadIO m => String -> String -> m a -> m ()

Variant of guardExpected_ that ignores the return value.

Since: 0.1

Checking environment variable predicate

guardPredicate :: MonadIO m => String -> (String -> Bool) -> m a -> m (Maybe a)

This is the most general way to check an environment variable. guardPredicate var p io runs io iff

1. The environment variable var is set.
2. var's value satisfies predicate p.

Examples

>>> guardPredicate "NOT_SET" (const True) (putStrLn "ran io" $> True)
Nothing

>>> setEnv "CASE_WRONG" "VAL"
>>> guardPredicate "CASE_WRONG" (== "val") (putStrLn "ran io" $> True)
Nothing

>>> setEnv "WILL_RUN" "VAL"
>>> guardPredicate "WILL_RUN" (== "VAL") (putStrLn "ran io" $> True)
ran io
Just True

Since: 0.1

guardPredicate_ :: MonadIO m => String -> (String -> Bool) -> m a -> m ()

Variant of guardPredicate that ignores the return value.

Since: 0.1