Documentation

symmetric1 :: (Heyting R a, Heyting L a) => a -> Bool Source #

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

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

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

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

symmetric6 :: Heyting R 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 c => c -> c -> Bool Source #

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

boolean0 :: (Heyting R a, Heyting L a) => a -> Bool Source #

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

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

boolean3 :: Heyting L a => a -> Bool Source #

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

boolean5 :: (Heyting L a, Heyting R a) => a -> a -> Bool Source #

boolean6 :: (Heyting R a, Heyting L a) => a -> a -> Bool Source #

heytingL0 :: Heyting L a => a -> a -> a -> Bool Source #

heytingL1 :: Heyting L a => a -> a -> a -> Bool Source #

heytingL2 :: Heyting L a => a -> a -> a -> Bool Source #

heytingL3 :: Heyting L a => a -> a -> a -> Bool Source #

heytingL4 :: Heyting L a => a -> a -> a -> Bool Source #

heytingL5 :: Heyting L a => a -> a -> a -> Bool Source #

heytingL6 :: Heyting L a => a -> a -> Bool Source #

heytingL7 :: Heyting L a => a -> a -> Bool Source #

heytingL8 :: forall a. Heyting L a => a -> Bool Source #

heytingL9 :: Heyting L a => a -> a -> Bool Source #

heytingL10 :: Heyting L a => a -> a -> Bool Source #

heytingL11 :: Heyting L a => a -> a -> Bool Source #

heytingL12 :: Heyting L a => a -> a -> Bool Source #

heytingL13 :: Heyting L a => a -> a -> Bool Source #

heytingL14 :: Heyting L a => a -> Bool Source #

heytingL15 :: Heyting L a => a -> Bool Source #

heytingL16 :: Heyting L a => a -> Bool Source #

heytingL17 :: Heyting L a => a -> Bool Source #

heytingL18 :: Heyting L c => c -> Bool Source #

heytingL19 :: Heyting L a => a -> a -> Bool Source #

heytingL20 :: Heyting L a => a -> a -> Bool Source #

heytingR0 :: Heyting R a => a -> a -> a -> Bool Source #

heytingR1 :: Heyting R a => a -> a -> a -> Bool Source #

heytingR2 :: Heyting R a => a -> a -> a -> Bool Source #

heytingR3 :: Heyting R a => a -> a -> a -> Bool Source #

heytingR4 :: Heyting R a => a -> a -> a -> Bool Source #

heytingR5 :: Heyting R a => a -> a -> a -> Bool Source #

heytingR6 :: Heyting R a => a -> a -> Bool Source #

heytingR7 :: Heyting R a => a -> a -> Bool Source #

heytingR8 :: forall a. Heyting R a => a -> Bool Source #

heytingR9 :: Heyting R a => a -> a -> Bool Source #

heytingR10 :: Heyting R a => a -> a -> Bool Source #

heytingR11 :: Heyting R a => a -> a -> Bool Source #

heytingR12 :: Heyting R a => a -> a -> Bool Source #

heytingR13 :: Heyting R a => a -> a -> Bool Source #

heytingR14 :: Heyting R a => a -> Bool Source #

heytingR15 :: Heyting R a => a -> Bool Source #

heytingR16 :: Heyting R a => a -> Bool Source #

heytingR17 :: Heyting R a => a -> Bool Source #