Safe Haskell	Safe
Language	Haskell2010

Data.Lattice.Property

Documentation

heyting0 :: Heyting a => a -> a -> a -> Bool Source #

heyting1 :: Heyting a => a -> a -> a -> Bool Source #

heyting2 :: Heyting a => a -> a -> a -> Bool Source #

heyting3 :: Heyting a => a -> a -> a -> Bool Source #

heyting4 :: Heyting a => a -> a -> a -> Bool Source #

heyting5 :: Heyting a => a -> a -> a -> Bool Source #

heyting6 :: Heyting a => a -> a -> Bool Source #

heyting7 :: Heyting a => a -> a -> Bool Source #

heyting8 :: forall a. Heyting a => a -> Bool Source #

heyting9 :: Heyting a => a -> a -> Bool Source #

heyting10 :: Heyting a => a -> a -> Bool Source #

heyting11 :: Heyting a => a -> a -> Bool Source #

heyting12 :: Heyting a => a -> a -> Bool Source #

heyting13 :: Heyting a => a -> a -> Bool Source #

heyting14 :: Heyting a => a -> Bool Source #

heyting15 :: Heyting a => a -> Bool Source #

heyting16 :: Heyting a => a -> Bool Source #

heyting17 :: Heyting a => a -> Bool Source #

coheyting0 :: Coheyting a => a -> a -> a -> Bool Source #

coheyting1 :: Coheyting a => a -> a -> a -> Bool Source #

coheyting2 :: Coheyting a => a -> a -> a -> Bool Source #

coheyting3 :: Coheyting a => a -> a -> a -> Bool Source #

coheyting4 :: Coheyting a => a -> a -> a -> Bool Source #

coheyting5 :: Coheyting a => a -> a -> a -> Bool Source #

coheyting6 :: Coheyting a => a -> a -> Bool Source #

coheyting7 :: Coheyting a => a -> a -> Bool Source #

coheyting8 :: forall a. Coheyting a => a -> Bool Source #

coheyting9 :: Coheyting a => a -> a -> Bool Source #

coheyting10 :: Coheyting a => a -> a -> Bool Source #

coheyting11 :: Coheyting a => a -> a -> Bool Source #

coheyting12 :: Coheyting a => a -> a -> Bool Source #

coheyting13 :: Coheyting a => a -> a -> Bool Source #

coheyting14 :: Coheyting a => a -> Bool Source #

coheyting15 :: Coheyting a => a -> Bool Source #

coheyting16 :: Coheyting a => a -> Bool Source #

coheyting17 :: Coheyting a => a -> Bool Source #

coheyting18 :: Coheyting c => c -> Bool Source #

coheyting19 :: Coheyting a => a -> a -> Bool Source #

coheyting20 :: Coheyting a => a -> a -> Bool Source #

symmetric1 :: Biheyting a => a -> Bool Source #

symmetric2 :: Symmetric a => a -> Bool Source #

symmetric3 :: Symmetric a => a -> Bool Source #

symmetric4 :: Symmetric a => a -> Bool Source #

symmetric5 :: Symmetric a => a -> Bool Source #

symmetric6 :: Heyting a => a -> Bool Source #

symmetric7 :: Symmetric a => a -> a -> Bool Source #

symmetric8 :: Symmetric a => a -> a -> Bool Source #

symmetric9 :: Symmetric a => a -> a -> Bool Source #

symmetric10 :: Symmetric a => a -> a -> Bool Source #

symmetric11 :: Symmetric a => a -> a -> Bool Source #

symmetric12 :: Symmetric a => a -> a -> Bool Source #

symmetric13 :: Symmetric a => a -> a -> Bool Source #

boolean0 :: Biheyting a => a -> Bool Source #

boolean1 :: Heyting a => a -> Bool Source #

boolean2 :: Heyting a => a -> Bool Source #

boolean3 :: Coheyting a => a -> Bool Source #

boolean4 :: Heyting a => a -> a -> Bool Source #

boolean5 :: Biheyting a => a -> a -> Bool Source #

boolean6 :: Biheyting a => a -> a -> Bool Source #