64902ea · reflex · git.iko.soy

on develop help sign in

Merge pull request #73 from reflex-frp/default-dynamic

64902eaRyan Trinkle10 years ago

reflex.cabal+1

@@ -20,6 +20,7 @@ library

20 base >= 4.7 && < 4.10,

21 bifunctors >= 5.2 && < 5.5,

22 containers == 0.5.*,

23+ data-default >= 0.5 && < 0.8,

23 dependent-map >= 0.2.2 && < 0.3,

24 dependent-map >= 0.2.2 && < 0.3,

24 dependent-sum == 0.3.*,

25 dependent-sum == 0.3.*,

25 exception-transformers == 0.4.*,

26 exception-transformers == 0.4.*,

src/Reflex/Class.hs+4

@@ -97,6 +97,7 @@ import Control.Monad.Trans.RWS (RWST ())

97import Control.Monad.Trans.Writer (WriterT ())

98import Data.Align

99import Data.Bifunctor

100+import Data.Default

100import Data.Dependent.Map (DMap, DSum (..), GCompare (..), GOrdering (..))

101import Data.Dependent.Map (DMap, DSum (..), GCompare (..), GOrdering (..))

101import qualified Data.Dependent.Map as DMap

102import qualified Data.Dependent.Map as DMap

102import Data.Dependent.Sum (ShowTag (..))

103import Data.Dependent.Sum (ShowTag (..))

@@ -253,6 +254,9 @@ unsafeDynamic = unsafeBuildDynamic . sample

253constDyn :: Reflex t => a -> Dynamic t a

254constDyn :: Reflex t => a -> Dynamic t a

254constDyn = pure

255constDyn = pure

255

256

257+instance (Reflex t, Default a) => Default (Dynamic t a) where

258+ def = pure def

259+

256-- | 'MonadSample' designates monads that can read the current value of a

260-- | 'MonadSample' designates monads that can read the current value of a

257-- 'Behavior'. This includes both 'PullM' and 'PushM'.

261-- 'Behavior'. This includes both 'PullM' and 'PushM'.

258class (Applicative m, Monad m) => MonadSample t m | m -> t where

262class (Applicative m, Monad m) => MonadSample t m | m -> t where