Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
- class (i ~ Index e1 els1, i ~ Index e2 els2) => HModify els1 els2 e1 e2 i | els1 i -> e1, els2 i -> e2, els1 e1 e2 -> els2, els2 e1 e2 -> els1 where
- type HModifiable els1 els2 e1 e2 = HModify els1 els2 e1 e2 (Index e1 els1)
- type HMonoModifiable els e = HModifiable els els e e
- hMonoModify :: HMonoModifiable els e => (e -> e) -> HSet els -> HSet els
Documentation
class (i ~ Index e1 els1, i ~ Index e2 els2) => HModify els1 els2 e1 e2 i | els1 i -> e1, els2 i -> e2, els1 e1 e2 -> els2, els2 e1 e2 -> els1 where Source
type HModifiable els1 els2 e1 e2 = HModify els1 els2 e1 e2 (Index e1 els1) Source
Check that we can turn one hset to another
type HMonoModifiable els e = HModifiable els els e e Source
Helper type infering that hset els
contains element of type e
and can be modified
hMonoModify :: HMonoModifiable els e => (e -> e) -> HSet els -> HSet els Source
Like hmodify
but do not change the hset's type