Idrall.Map

Definitions

isOdd : Nat -> Bool

Visibility: export

isEven : Nat -> Bool

Visibility: export

mapChunks : (a -> Either e b) -> (k, a) -> Either e (k, b)

Visibility: export

mapListEither : List a -> (a -> Either e b) -> Either e (List b)

Visibility: export

mapRecord : (a -> Either e b) -> (k, a) -> Either e (k, b)

Visibility: export

mapUnion : (a -> Either e b) -> (k, Maybe a) -> Either e (k, Maybe b)

Visibility: export

mapMaybe : (a -> Either e b) -> Maybe a -> Either e (Maybe b)

Visibility: export

mergeWithApp : (Monad m, Ord k) => (a -> a -> m a) -> SortedMap k a -> SortedMap k a -> m (SortedMap k a)

Visibility: export

mergeWithApp' : (Monad m, Ord k) => (a -> a -> m a) -> SortedMap k a -> SortedMap k a -> m (SortedMap k a)

Visibility: export

textReplace : String -> String -> String -> String

Visibility: export