packages feed

pandora-0.3.1: Pandora/Paradigm/Structure/Interface/Set.hs

module Pandora.Paradigm.Structure.Interface.Set where

import Pandora.Pattern.Object.Setoid (Setoid)
import Pandora.Paradigm.Primary.Object.Boolean (Boolean)

class Set t where
	member :: Setoid a => a -> t a -> Boolean