Data.Fca

Documentation

newtype Cid

Constructors

Cid Text

Instances

Eq Cid

Show Cid

Hashable Cid

data Concept o a

Constructors

Concept

Fields

cG :: G o

cM :: M a

Instances

(Eq o, Eq a, Hashable o, Hashable a) => Eq (Concept o a)

(CElem o, CElem a) => Ord (Concept o a)

(Show o, Show a) => Show (Concept o a)

data Context o a

Constructors

Context

Fields

ctxG :: G o

ctxM :: M a

ctxI :: I o a

type Obj o = o

type Attr a = a

type Lattice = HashMap Cid Neighborhood

generateLattice :: (Identable (Concept o a), CElem o, CElem a) => Context o a -> (Lattice, [(Cid, Concept o a)])