sphinxo 2017-03-08 12:51:56
or (Ord a) Map a b ?
Koterpillar 2017-03-08 12:52:13
whatever suits you
Koterpillar 2017-03-08 12:52:48
then you can have convenience functions putKey :: k -> v -> State (Map k v) (), getKey :: k -> State (Map k v) (Maybe v)
sphinxo 2017-03-08 12:53:34
I'm not sure that's what I want
Koterpillar 2017-03-08 12:53:54
then what do you want?
sphinxo 2017-03-08 12:53:58
I want like a time traveling k/v store
glguy 2017-03-08 13:02:40
robkennedy: The type 'o' can't float out of (forall i. c i => i -> o) because we don't know what c is
glguy 2017-03-08 13:02:45
c could have equality constraints
glguy 2017-03-08 13:03:18
and type families are not injective, so 'o' isn't available under FullOf'
Axman6 2017-03-08 13:08:06
bgamari: yeah the first definition I stumbled across was v1, which has een replaced by v2 which seems to be much better specified: http://docs.opengeospatial.org/is/12-063r5/12-063r5.html#13 in particular, it outlines what a is, which the old one left unspecified... who even does that
bgamari 2017-03-08 13:08:07
heh
bgamari 2017-03-08 13:08:21
that may explain it
