Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class HRemove els1 els2 i | els1 i -> els2 where Source
Remove i's element from hset. Second argument is a resulting hset type
type HDeletable e els1 els2 = HRemove els1 els2 (Index e els1) Source
Delete element from HSet of specified type
>>>
let x = (HSCons "sdf" $ HSCons 123 HSNil) :: HSet '[String, Int]
>>>
hdelete (Proxy :: Proxy Int) x
HSCons ("sdf") (HSNil)
>>>
hdelete (Proxy :: Proxy String) x
HSCons (123) (HSNil)
Constraints that e can be removed from els1 and els2 will be produced in result
hdelete :: forall proxy els1 els2 e. HDeletable e els1 els2 => proxy e -> HSet els1 -> HSet els2 Source
Delete specific element from els1 and returns HSet with els2