packages feed

pandora-0.3.7: Pandora/Paradigm/Structure/Ability/Deletable.hs

module Pandora.Paradigm.Structure.Ability.Deletable where

import Pandora.Pattern.Object.Setoid (Setoid)

infixr 3 -=

class Deletable t where
	(-=) :: Setoid a => a -> t a -> t a