Satyros.CNF.Positivity

Documentation

data Positivity where

Bundled Patterns

pattern Positive :: Positivity

pattern Negative :: Positivity

Instances

Eq Positivity

Defined in Satyros.CNF.Positivity

Methods

(==) :: Positivity -> Positivity -> Bool

(/=) :: Positivity -> Positivity -> Bool

Show Positivity

Defined in Satyros.CNF.Positivity

Methods

showsPrec :: Int -> Positivity -> ShowS

show :: Positivity -> String

showList :: [Positivity] -> ShowS

Wrapped Positivity

Defined in Satyros.CNF.Positivity

Associated Types

type Unwrapped Positivity

Methods

_Wrapped' :: Iso' Positivity (Unwrapped Positivity)

Random Positivity

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

Defined in Satyros.CNF.Positivity

type Unwrapped Positivity

Defined in Satyros.CNF.Positivity

type Unwrapped Positivity = Bool

isPositive :: Iso' Positivity Bool

negatePositivity :: Positivity -> Positivity