Safe Haskell	None
Language	Haskell2010

Satyros.CNF.Positivity

Documentation

data Positivity where Source #

Bundled Patterns

pattern Positive :: Positivity
pattern Negative :: Positivity

Instances

Instances details

Eq Positivity Source #
Instance details Defined in Satyros.CNF.Positivity Methods (==) :: Positivity -> Positivity -> Bool # (/=) :: Positivity -> Positivity -> Bool #
Ord Positivity Source #
Instance details Defined in Satyros.CNF.Positivity Methods compare :: Positivity -> Positivity -> Ordering # (<) :: Positivity -> Positivity -> Bool # (<=) :: Positivity -> Positivity -> Bool # (>) :: Positivity -> Positivity -> Bool # (>=) :: Positivity -> Positivity -> Bool # max :: Positivity -> Positivity -> Positivity # min :: Positivity -> Positivity -> Positivity #
Show Positivity Source #
Instance details Defined in Satyros.CNF.Positivity Methods showsPrec :: Int -> Positivity -> ShowS # show :: Positivity -> String # showList :: [Positivity] -> ShowS #
Generic Positivity Source #
Instance details Defined in Satyros.CNF.Positivity Associated Types type Rep Positivity :: Type -> Type # Methods from :: Positivity -> Rep Positivity x # to :: Rep Positivity x -> Positivity #
Wrapped Positivity Source #
Instance details Defined in Satyros.CNF.Positivity Associated Types type Unwrapped Positivity # Methods _Wrapped' :: Iso' Positivity (Unwrapped Positivity) #
Random Positivity Source #
Instance details Defined in Satyros.CNF.Positivity Methods randomR :: RandomGen g => (Positivity, Positivity) -> g -> (Positivity, g) # random :: RandomGen g => g -> (Positivity, g) # randomRs :: RandomGen g => (Positivity, Positivity) -> g -> [Positivity] # randoms :: RandomGen g => g -> [Positivity] #
Positivity ~ t => Rewrapped Positivity t Source #
Instance details Defined in Satyros.CNF.Positivity
type Rep Positivity Source #
Instance details Defined in Satyros.CNF.Positivity type Rep Positivity = D1 ('MetaData "Positivity" "Satyros.CNF.Positivity" "satyros-0.3.1.4-3YwMxGnZD0k1OVgpDx5SHB" 'True) (C1 ('MetaCons "Positivity" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool)))
type Unwrapped Positivity Source #
Instance details Defined in Satyros.CNF.Positivity type Unwrapped Positivity = Bool

isPositive :: Iso' Positivity Bool Source #

negatePositivity :: Positivity -> Positivity Source #