Make concrete world read/showable

This commit is contained in:
2022-07-25 12:23:21 +01:00
parent f8f9fbe800
commit f5604ef429
6 changed files with 15 additions and 13 deletions
+2 -1
View File
@@ -4,8 +4,9 @@ module FoldlHelp
, module Control.Foldl
) where
import Control.Foldl
import MaybeHelp
data Maybe' a = Just' !a | Nothing'
--data Maybe' a = Just' !a | Nothing'
data Pair a b = !a :!: !b
minimumOn :: Ord b => (a -> b) -> Fold a (Maybe a)