Add a couple more comments
commit09b66647746e3185b3e45eb36e44ba9c73dc0c10
authorRyan Trinkle <ryan.trinkle@gmail.com>
dateSun 24 May 2015, 23:51 (11 years ago)
parent58c66c4
test/Reflex/Pure.hs+2
@@ -12,6 +12,8 @@ import qualified Data.Dependent.Map as DMap
1212
1313data Pure t
1414
15+-- | The Enum instance of t must be dense: for all x :: t, there must not exist any y :: t such that pred x < y < x
16+-- The HasTrie instance will be used exclusively to memoize functions of t, not for any of its other capabilities
1517instance (Enum t, HasTrie t, Ord t) => Reflex (Pure t) where
1618 newtype Behavior (Pure t) a = Behavior { unBehavior :: t -> a }
1719 newtype Event (Pure t) a = Event { unEvent :: t -> Maybe a }