-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Algo for Formal Concept Analysis
--   
@package fca
@version 0.1.0.2

module Data.Fca
newtype Cid
Cid :: Text -> Cid
data Concept o a
Concept :: G o -> M a -> Concept o a
cG :: Concept o a -> G o
cM :: Concept o a -> M a
data Context o a
Context :: G o -> M a -> I o a -> Context o a
ctxG :: Context o a -> G o
ctxM :: Context o a -> M a
ctxI :: Context o a -> 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)])