Everything-I-Know-About-Types/bergamot-elm
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add a few more convenient operations to Search.elm

Browse Source 
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
This commit is contained in:
Danila Fedorin 2023-11-26 00:44:24 -08:00
parent 2cc1012a09
commit b13cdea15d
1 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
src/Bergamot/Search.elm
View File

@ -1,4 +1,4 @@
module Bergamot.Search exposing (..)
module Bergamot.Search exposing (Search, map, apply, andThen, pure, fail, interleave, one)
type SearchStep a
= Empty
@ -12,6 +12,24 @@ map f s () =
Empty -> Empty
Found a sp -> Found (f a) (map f sp)
apply : Search (a -> b) -> Search a -> Search b
apply sf sa () =
case sf () of
Empty -> Empty
Found f sfp -> interleave (map f sa) (apply sfp sa) ()
andThen : (a -> Search b) -> Search a -> Search b
andThen f sa () =
case sa () of
Empty -> Empty
Found a sap -> interleave (f a) (andThen f sap) ()
pure : a -> Search a
pure a () = Found a (\() -> Empty)
fail : Search a
fail () = Empty
interleave : Search a -> Search a -> Search a
interleave s1 s2 () =
case s1 () of