Merge branch 'develop' into qa
commitd5233731f703380ab7451d79d1aac3d2134ac939
authorElliot Cameron <eacameron@gmail.com>
dateWed 15 Jan 2020, 14:18 (7 years ago)
parent047053a3eefbee
lib/route/src/Obelisk/Route.hs+3
@@ -195,8 +195,11 @@ import Data.Aeson (FromJSON, ToJSON)
195195
196196type R f = DSum f Identity --TODO: Better name
197197
198+-- | Convenience builder for an 'R' using 'Identity' for the functor.
198199pattern (:/) :: f a -> a -> R f
199200pattern a :/ b = a :=> Identity b
201+{-# COMPLETE (:/) #-}
202+infixr 5 :/
200203
201204-- | Like '(:/)' but adds a 'Just' wrapper around the right-hand side.
202205(?/) :: f (Maybe a) -> a -> R f