ContentsIndex
Org.Org.Semantic.HBase.Mathematics.FunctionSet
Synopsis
newtype FunctionSet m = MkFunctionSet (m -> Bool)
Documentation
newtype FunctionSet m
a set based on a membership function
Constructors
MkFunctionSet (m -> Bool)
Instances
HasNothing (FunctionSet m)
MemberKnownSet m sa => Unionable sa (FunctionSet m) (FunctionSet m)
MemberKnownSet m sa => Unionable sa (FunctionSet m) (FunctionSet m)
MemberKnownSet m sa => Intersectable sa (FunctionSet m) (FunctionSet m)
MemberKnownSet m sa => Intersectable sa (FunctionSet m) (FunctionSet m)
MemberKnownSet m sa => Removable sa (FunctionSet m) (FunctionSet m)
MemberKnownSet m sa => Removable sa (FunctionSet m) (FunctionSet m)
MemberKnownSet m sa => Xorable sa (FunctionSet m) (FunctionSet m)
MemberKnownSet m sa => Xorable sa (FunctionSet m) (FunctionSet m)
SetConstructibleSet (FunctionSet m)
UniversibleConstructibleSet (FunctionSet m)
Eq m => MemberConstructibleSet m (FunctionSet m)
MemberKnownSet m (FunctionSet m)
Produced by Haddock version 0.6