System.Environment.Guard.Lifted

System.Environment.Guard for MonadIO.

Since: 0.1

High level combinators

data ExpectEnv

The expectation for an environment variable lookup.

Since: 0.1.1

Constructors

ExpectEnvSet

Expect that the environment variable is set (i.e. contents can be anything).

Since: 0.1.1

ExpectEnvEquals String

Expect that the environment variable is set and the contents equals the string. This is case-insensitive.

Since: 0.1.1

ExpectEnvPredicate (String -> Bool)

Expect that the environment variable is set and its contents satisfies the predicate.

Since: 0.1.1

Instances

Show ExpectEnv

Since: 0.1.1

Defined in System.Environment.Guard.Lifted

Methods

showsPrec :: Int -> ExpectEnv -> ShowS

show :: ExpectEnv -> String

showList :: [ExpectEnv] -> ShowS

withGuard :: MonadIO m => String -> ExpectEnv -> m a -> m (Maybe a)

Guards an action behind an environment variable according to the given expectation.

Examples

>>> setEnv "FOO" "bar"
>>> withGuard "FOO" (ExpectEnvEquals "baz") (putStrLn "succeeded")
Nothing

>>> withGuard "FOO" ExpectEnvSet (putStrLn "succeeded")
succeeded
Just ()

Since: 0.1.1

withGuard_ :: MonadIO m => String -> ExpectEnv -> m a -> m ()

Variant of withGuard that ignores the return value.

Since: 0.1.1

guardOrElse

Arguments

:: MonadIO m

=> String

The environment variable.

-> ExpectEnv

The expectation.

-> m a

The action to run if the expectation succeeds.

-> m e

The action to run if the expectation fails.

-> m (Either e a)

The result.

guardOrElse var expect m1 m2 is equivalent to withGuard var expect m1 except that it runs m2 if m1 is not run.

Examples

>>> setEnv "FOO" "bar"
>>> guardOrElse "FOO" ExpectEnvSet (pure True) (pure "not found")
Right True

>>> guardOrElse "BAR" ExpectEnvSet (pure True) (pure "not found")
Left "not found"

Since: 0.1.1

guardOrElse'

Arguments

:: MonadIO m

=> String

The environment variable.

-> ExpectEnv

The expectation.

-> m a

The action to run if the expectation succeeds.

-> m a

The action to run if the expectation fails.

-> m a

The result.

guardOrElse specialized to the same type so that we always return an a. This can also be used to ignore the return value i.e.

guardOrElse' var expect (void m1) m2

Examples

>>> setEnv "FOO" "bar"
>>> guardOrElse' "FOO" ExpectEnvSet (pure True) (pure False)
True

>>> guardOrElse' "BAR" ExpectEnvSet (pure True) (pure False)
False

>>> guardOrElse' "BAR" ExpectEnvSet (void $ pure True) (putStrLn "not found")
not found

Since: 0.1.1

Low level functions

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

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

guardEquals var expected io runs io iff

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

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

Examples

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

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

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

Since: 0.2

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

Variant of guardEquals_ that ignores the return value.

Since: 0.2

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