Aura.Utils

Utility functions specific to Aura.

Strings

data Pattern

For regex-like find-and-replace in some Text.

Constructors

Pattern

Fields

• _pattern :: !Text
• _target :: !Text

searchLines :: Text -> [Text] -> [Text]

Find lines which contain some given Text.

Network

urlContents :: Manager -> String -> IO (Maybe ByteString)

Assumes the given URL is correctly formatted.

Semigroupoids

foldMap1 :: Semigroup m => (a -> m) -> NonEmpty a -> m

Borrowed from semigroupoids.

fold1 :: Semigroup m => NonEmpty m -> m

Borrowed from semigroupoids.

Errors

hush :: Either a b -> Maybe b

note :: a -> Maybe b -> Either a b

Compactable

fmapEither :: (a -> Either b c) -> [a] -> ([b], [c])

Borrowed from Compactable.

traverseEither :: Applicative f => (a -> f (Either b c)) -> [a] -> f ([b], [c])

Borrowed from Compactable.

These

data These a b

Constructors

This a

That b

These a b

Instances

Bifunctor These

Defined in Aura.Utils

Methods

bimap :: (a -> b) -> (c -> d) -> These a c -> These b d

first :: (a -> b) -> These a c -> These b c

second :: (b -> c) -> These a b -> These a c

(Semigroup a, Semigroup b) => Semigroup (These a b)

Defined in Aura.Utils

Methods

(<>) :: These a b -> These a b -> These a b

sconcat :: NonEmpty (These a b) -> These a b

stimes :: Integral b0 => b0 -> These a b -> These a b

these :: (a -> t) -> (b -> t) -> (a -> b -> t) -> These a b -> t

Directory

edit :: FilePath -> FilePath -> IO ()

Edit some file in-place with the user's specified editor.

Lens

type Traversal' s a = forall f. Applicative f => (a -> f a) -> s -> f s

Simple Traversals compatible with both lens and microlens.

Misc.

maybe' :: b -> Maybe a -> (a -> b) -> b

maybe with the function at the end.

groupsOf :: Int -> [a] -> [[a]]

Break a list into groups of n elements. The last item in the result is not guaranteed to have the same length as the others.

nes :: Set a -> Maybe (NonEmpty a)

partNonEmpty :: (a -> These b c) -> NonEmpty a -> These (NonEmpty b) (NonEmpty c)

Partition a NonEmpty based on some function.