Safe Haskell | None |
---|---|
Language | Haskell2010 |
Documentation
data Positivity where Source #
pattern Positive :: Positivity | |
pattern Negative :: Positivity |
Instances
Eq Positivity Source # | |
Defined in Satyros.CNF.Positivity (==) :: Positivity -> Positivity -> Bool # (/=) :: Positivity -> Positivity -> Bool # | |
Show Positivity Source # | |
Defined in Satyros.CNF.Positivity showsPrec :: Int -> Positivity -> ShowS # show :: Positivity -> String # showList :: [Positivity] -> ShowS # | |
Wrapped Positivity Source # | |
Defined in Satyros.CNF.Positivity type Unwrapped Positivity # | |
Random Positivity Source # | |
Defined in Satyros.CNF.Positivity 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 # | |
Defined in Satyros.CNF.Positivity | |
type Unwrapped Positivity Source # | |
Defined in Satyros.CNF.Positivity |