elmentary

Your one-stop shop for Algebraic Data Types (ADT) in elm

Why ?

Fun to experiment

Types

Maybe Type

reduce : (a -> b -> a) -> a -> Maybe b -> a

filter : (a -> Bool) -> Maybe a -> Maybe a

isJust : Maybe a -> Bool

catMaybes : List (Maybe b) -> List b

fmap : (a -> b) -> Maybe a -> Maybe b

chain : (a -> Maybe b) -> Maybe a -> Maybe b

join : Maybe (Maybe a) -> Maybe a

ap : Maybe (b -> a) -> Maybe b -> Maybe a

lift2 : (b -> c -> a) -> Maybe b -> Maybe c -> Maybe a

concat : Maybe (List a) -> Maybe (List a) -> Maybe (List a)

mapMaybe : (a -> Maybe b) -> List a -> List b

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

empty : Maybe a

traverse : (a -> Maybe b) -> List a -> Maybe (List b)

sequence : List (Maybe a) -> Maybe (List a)

Either Type

partition : List (Either c a) -> ( List c, List a )

either : (c -> b) -> (a -> b) -> Either c a -> b

isLeft : Either c a -> Bool

isRight : Either c a -> Bool

rights : List (Either c a) -> List a

lefts : List (Either c a) -> List c

fmap : (a -> b) -> Either c a -> Either c b

chain : (a -> Either c b) -> Either c a -> Either c b

ap : Either c (a -> b) -> Either c a -> Either c b

lift2 : (a -> b -> d) -> Either c a -> Either c b -> Either c d

concat : Either c (List a) -> Either c (List a) -> Either c (List a)

traverse : (a -> Either c b) -> List a -> Either c (List b)

sequence : List (Either c a) -> Either c (List a)

toBoolean : Either c a -> Bool

eitherToMaybe : Either c a -> Maybe a

Inspired by

sanctuary

crocks

folktale