lattices-2.0.2: Fine-grained library for constructing and manipulating lattices

Algebra.Lattice.N5

Description

Synopsis

# Documentation

data N5 Source #

$$N_5$$, is smallest non-modular (and non-distributive) lattice.

Constructors

 N5o N5a N5b N5c N5i
Instances
 Source # Instance detailsDefined in Algebra.Lattice.N5 Methods Source # Instance detailsDefined in Algebra.Lattice.N5 Methodssucc :: N5 -> N5 #pred :: N5 -> N5 #toEnum :: Int -> N5 #fromEnum :: N5 -> Int #enumFrom :: N5 -> [N5] #enumFromThen :: N5 -> N5 -> [N5] #enumFromTo :: N5 -> N5 -> [N5] #enumFromThenTo :: N5 -> N5 -> N5 -> [N5] # Source # Instance detailsDefined in Algebra.Lattice.N5 Methods(==) :: N5 -> N5 -> Bool #(/=) :: N5 -> N5 -> Bool # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodsgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> N5 -> c N5 #gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c N5 #dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c N5) #dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c N5) #gmapT :: (forall b. Data b => b -> b) -> N5 -> N5 #gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> N5 -> r #gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> N5 -> r #gmapQ :: (forall d. Data d => d -> u) -> N5 -> [u] #gmapQi :: Int -> (forall d. Data d => d -> u) -> N5 -> u #gmapM :: Monad m => (forall d. Data d => d -> m d) -> N5 -> m N5 #gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> N5 -> m N5 #gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> N5 -> m N5 # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodscompare :: N5 -> N5 -> Ordering #(<) :: N5 -> N5 -> Bool #(<=) :: N5 -> N5 -> Bool #(>) :: N5 -> N5 -> Bool #(>=) :: N5 -> N5 -> Bool #max :: N5 -> N5 -> N5 #min :: N5 -> N5 -> N5 # Source # Instance detailsDefined in Algebra.Lattice.N5 MethodsreadList :: ReadS [N5] # Source # Instance detailsDefined in Algebra.Lattice.N5 MethodsshowsPrec :: Int -> N5 -> ShowS #show :: N5 -> String #showList :: [N5] -> ShowS # Source # Instance detailsDefined in Algebra.Lattice.N5 Associated Typestype Rep N5 :: Type -> Type # Methodsfrom :: N5 -> Rep N5 x #to :: Rep N5 x -> N5 # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodsfunction :: (N5 -> b) -> N5 :-> b # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodsshrink :: N5 -> [N5] # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodscoarbitrary :: N5 -> Gen b -> Gen b # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodsrnf :: N5 -> () # Source # Instance detailsDefined in Algebra.Lattice.N5 MethodshashWithSalt :: Int -> N5 -> Int #hash :: N5 -> Int # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodsuniverse :: [N5] # Source # Instance detailsDefined in Algebra.Lattice.N5 MethodsuniverseF :: [N5] # Source # Instance detailsDefined in Algebra.Lattice.N5 Methodsleq :: N5 -> N5 -> Bool Source # Source # Instance detailsDefined in Algebra.Lattice.N5 Methods Source # Instance detailsDefined in Algebra.Lattice.N5 Methods Source # Instance detailsDefined in Algebra.Lattice.N5 Methods(\/) :: N5 -> N5 -> N5 Source #(/\) :: N5 -> N5 -> N5 Source # type Rep N5 Source # Instance detailsDefined in Algebra.Lattice.N5 type Rep N5 = D1 (MetaData "N5" "Algebra.Lattice.N5" "lattices-2.0.2-HdMTcqWeXqlAAQvdNaFFrQ" False) ((C1 (MetaCons "N5o" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "N5a" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "N5b" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "N5c" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "N5i" PrefixI False) (U1 :: Type -> Type))))