From d91e09af7d968afddf6f4f963611e0e37b0bbbd5 Mon Sep 17 00:00:00 2001 From: Lars-Dominik Braun Date: Tue, 28 Apr 2015 14:01:30 +0200 Subject: Add simple filter function --- Main.hs | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'Main.hs') diff --git a/Main.hs b/Main.hs index 8d65915..fd18465 100644 --- a/Main.hs +++ b/Main.hs @@ -160,10 +160,14 @@ introduction = section_ $ do protocols :: Database -> Html () protocols db = section_ [id_ "protocols"] $ do h2_ "Protocols" - div_ [id_ "protosort"] $ do + div_ [id_ "protosort", class_ "form-inline"] $ do + label_ [for_ "filter"] "Filter" + " " + input_ [id_ "filter", type_ "text", class_ "form-control"] + " " label_ [for_ "sort"] "Sort by" " " - select_ [id_ "sort"] $ do + select_ [id_ "sort", class_ "form-control"] $ do option_ [value_ "name"] "Name" option_ [value_ "year"] "Year" forM_ (M.toList $ dalgos db) (protoentry db) -- cgit v1.2.3