Clingo.Internal.Types

Documentation

newtype IOSym s a

A monad that serves as witness that data registered with a running solver still exists and can be used.

Constructors

IOSym

Fields

• iosym :: IO a

Instances

MonadSymbol IOSym

Methods

createSignature :: Text -> Natural -> Bool -> IOSym s (Signature s)

createNumber :: Integral a => a -> IOSym s (Symbol s)

createSupremum :: IOSym s (Symbol s)

createInfimum :: IOSym s (Symbol s)

createString :: Text -> IOSym s (Symbol s)

createFunction :: Text -> [Symbol s] -> Bool -> IOSym s (Symbol s)

MonadModel IOSym

Methods

modelType :: Model s -> IOSym s ModelType

modelNumber :: Model s -> IOSym s Natural

modelSymbols :: Model s -> SymbolSelection -> IOSym s [Symbol s]

contains :: Model s -> Symbol s -> IOSym s Bool

costVector :: Model s -> IOSym s [Integer]

optimalityProven :: Model s -> IOSym s Bool

context :: Model s -> IOSym s (SolveControl s)

modelAddClause :: Foldable t => SolveControl s -> t (SymbolicLiteral s) -> IOSym s ()

MonadSolve IOSym

Methods

getResult :: Solver s -> IOSym s SolveResult

getModel :: Solver s -> IOSym s (Maybe (Model s))

solverWait :: Solver s -> Double -> IOSym s ResultReady

solverResume :: Solver s -> IOSym s ()

solverCancel :: Solver s -> IOSym s ()

Monad (IOSym s)

Methods

(>>=) :: IOSym s a -> (a -> IOSym s b) -> IOSym s b

(>>) :: IOSym s a -> IOSym s b -> IOSym s b

return :: a -> IOSym s a

fail :: String -> IOSym s a

Functor (IOSym s)

Methods

fmap :: (a -> b) -> IOSym s a -> IOSym s b

(<$) :: a -> IOSym s b -> IOSym s a

MonadFix (IOSym s)

Methods

mfix :: (a -> IOSym s a) -> IOSym s a

Applicative (IOSym s)

Methods

pure :: a -> IOSym s a

(<*>) :: IOSym s (a -> b) -> IOSym s a -> IOSym s b

(*>) :: IOSym s a -> IOSym s b -> IOSym s b

(<*) :: IOSym s a -> IOSym s b -> IOSym s a

MonadIO (IOSym s)

Methods

liftIO :: IO a -> IOSym s a

Alternative (IOSym s)

Methods

empty :: IOSym s a

(<|>) :: IOSym s a -> IOSym s a -> IOSym s a

some :: IOSym s a -> IOSym s [a]

many :: IOSym s a -> IOSym s [a]

MonadPlus (IOSym s)

Methods

mzero :: IOSym s a

mplus :: IOSym s a -> IOSym s a -> IOSym s a

MonadThrow (IOSym s)

Methods

throwM :: Exception e => e -> IOSym s a

MonadCatch (IOSym s)

Methods

catch :: Exception e => IOSym s a -> (e -> IOSym s a) -> IOSym s a

MonadMask (IOSym s)

Methods

mask :: ((forall a. IOSym s a -> IOSym s a) -> IOSym s b) -> IOSym s b

uninterruptibleMask :: ((forall a. IOSym s a -> IOSym s a) -> IOSym s b) -> IOSym s b

newtype Clingo s a

The Clingo monad provides a base monad for computations utilizing the clingo answer set solver. It uses an additional type parameter to ensure that values that are managed by the solver can not leave scope.

Constructors

Clingo

Fields

• clingo :: ReaderT Control (IOSym s) a

Instances

MonadSymbol Clingo

Methods

createSignature :: Text -> Natural -> Bool -> Clingo s (Signature s)

createNumber :: Integral a => a -> Clingo s (Symbol s)

createSupremum :: Clingo s (Symbol s)

createInfimum :: Clingo s (Symbol s)

createString :: Text -> Clingo s (Symbol s)

createFunction :: Text -> [Symbol s] -> Bool -> Clingo s (Symbol s)

MonadModel Clingo

Methods

modelType :: Model s -> Clingo s ModelType

modelNumber :: Model s -> Clingo s Natural

modelSymbols :: Model s -> SymbolSelection -> Clingo s [Symbol s]

contains :: Model s -> Symbol s -> Clingo s Bool

costVector :: Model s -> Clingo s [Integer]

optimalityProven :: Model s -> Clingo s Bool

context :: Model s -> Clingo s (SolveControl s)

modelAddClause :: Foldable t => SolveControl s -> t (SymbolicLiteral s) -> Clingo s ()

MonadSolve Clingo

Methods

getResult :: Solver s -> Clingo s SolveResult

getModel :: Solver s -> Clingo s (Maybe (Model s))

solverWait :: Solver s -> Double -> Clingo s ResultReady

solverResume :: Solver s -> Clingo s ()

solverCancel :: Solver s -> Clingo s ()

Monad (Clingo s)

Methods

(>>=) :: Clingo s a -> (a -> Clingo s b) -> Clingo s b

(>>) :: Clingo s a -> Clingo s b -> Clingo s b

return :: a -> Clingo s a

fail :: String -> Clingo s a

Functor (Clingo s)

Methods

fmap :: (a -> b) -> Clingo s a -> Clingo s b

(<$) :: a -> Clingo s b -> Clingo s a

MonadFix (Clingo s)

Methods

mfix :: (a -> Clingo s a) -> Clingo s a

Applicative (Clingo s)

Methods

pure :: a -> Clingo s a

(<*>) :: Clingo s (a -> b) -> Clingo s a -> Clingo s b

(*>) :: Clingo s a -> Clingo s b -> Clingo s b

(<*) :: Clingo s a -> Clingo s b -> Clingo s a

MonadIO (Clingo s)

Methods

liftIO :: IO a -> Clingo s a

Alternative (Clingo s)

Methods

empty :: Clingo s a

(<|>) :: Clingo s a -> Clingo s a -> Clingo s a

some :: Clingo s a -> Clingo s [a]

many :: Clingo s a -> Clingo s [a]

MonadPlus (Clingo s)

Methods

mzero :: Clingo s a

mplus :: Clingo s a -> Clingo s a -> Clingo s a

MonadThrow (Clingo s)

Methods

throwM :: Exception e => e -> Clingo s a

MonadCatch (Clingo s)

Methods

catch :: Exception e => Clingo s a -> (e -> Clingo s a) -> Clingo s a

MonadMask (Clingo s)

Methods

mask :: ((forall a. Clingo s a -> Clingo s a) -> Clingo s b) -> Clingo s b

uninterruptibleMask :: ((forall a. Clingo s a -> Clingo s a) -> Clingo s b) -> Clingo s b

runClingo :: Control -> Clingo s a -> IO a

Run a clingo computation from an explicit handle. The handle must be cleaned up manually afterwards, or on failure!

askC :: Clingo s Control

Get the control handle from the Clingo monad. Arbitrarily unsafe things can be done with this!

class Signed a where

Methods

positive :: a -> Bool

negative :: a -> Bool

Instances

Signed Bool

Methods

positive :: Bool -> Bool

negative :: Bool -> Bool

Signed (AspifLiteral s)

Methods

positive :: AspifLiteral s -> Bool

negative :: AspifLiteral s -> Bool

Signed (Literal s)

Methods

positive :: Literal s -> Bool

negative :: Literal s -> Bool

Signed (Signature s)

Methods

positive :: Signature s -> Bool

negative :: Signature s -> Bool

Signed (SymbolicLiteral s)

Methods

positive :: SymbolicLiteral s -> Bool

negative :: SymbolicLiteral s -> Bool

Signed (FunctionSymbol s)

Methods

positive :: FunctionSymbol s -> Bool

negative :: FunctionSymbol s -> Bool

data Symbol s

Constructors

Symbol

Fields

• rawSymbol :: Symbol
• symType :: SymbolType
• symHash :: Integer
• symNum :: Maybe Integer
• symName :: Maybe Text
• symString :: Maybe Text
• symArgs :: [Symbol s]
• symPretty :: Text

Instances

Eq (Symbol s)

Methods

(==) :: Symbol s -> Symbol s -> Bool

(/=) :: Symbol s -> Symbol s -> Bool

Ord (Symbol s)

Methods

compare :: Symbol s -> Symbol s -> Ordering

(<) :: Symbol s -> Symbol s -> Bool

(<=) :: Symbol s -> Symbol s -> Bool

(>) :: Symbol s -> Symbol s -> Bool

(>=) :: Symbol s -> Symbol s -> Bool

max :: Symbol s -> Symbol s -> Symbol s

min :: Symbol s -> Symbol s -> Symbol s

Generic (Symbol s)

Associated Types

type Rep (Symbol s) :: * -> *

Methods

from :: Symbol s -> Rep (Symbol s) x

to :: Rep (Symbol s) x -> Symbol s

NFData (Symbol s)

Methods

rnf :: Symbol s -> ()

Hashable (Symbol s)

Methods

hashWithSalt :: Int -> Symbol s -> Int

hash :: Symbol s -> Int

type Rep (Symbol s)

type Rep (Symbol s) = D1 (MetaData "Symbol" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) (C1 (MetaCons "Symbol" PrefixI True) ((:*:) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "rawSymbol") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Symbol)) (S1 (MetaSel (Just Symbol "symType") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 SymbolType))) ((:*:) (S1 (MetaSel (Just Symbol "symHash") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)) (S1 (MetaSel (Just Symbol "symNum") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Integer))))) ((:*:) ((:*:) (S1 (MetaSel (Just Symbol "symName") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text))) (S1 (MetaSel (Just Symbol "symString") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Text)))) ((:*:) (S1 (MetaSel (Just Symbol "symArgs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Symbol s])) (S1 (MetaSel (Just Symbol "symPretty") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))))

data Signature s

Constructors

Signature

Fields

• rawSignature :: Signature
• sigArity :: Natural
• sigName :: Text
• sigHash :: Integer

Instances

Eq (Signature s)

Methods

(==) :: Signature s -> Signature s -> Bool

(/=) :: Signature s -> Signature s -> Bool

Ord (Signature s)

Methods

compare :: Signature s -> Signature s -> Ordering

(<) :: Signature s -> Signature s -> Bool

(<=) :: Signature s -> Signature s -> Bool

(>) :: Signature s -> Signature s -> Bool

(>=) :: Signature s -> Signature s -> Bool

max :: Signature s -> Signature s -> Signature s

min :: Signature s -> Signature s -> Signature s

Hashable (Signature s)

Methods

hashWithSalt :: Int -> Signature s -> Int

hash :: Signature s -> Int

Signed (Signature s)

Methods

positive :: Signature s -> Bool

negative :: Signature s -> Bool

data SymbolicLiteral s

Constructors

SLPositive (Symbol s)

SLNegative (Symbol s)

Instances

Eq (SymbolicLiteral s)

Methods

(==) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(/=) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

Ord (SymbolicLiteral s)

Methods

compare :: SymbolicLiteral s -> SymbolicLiteral s -> Ordering

(<) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(<=) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(>) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

(>=) :: SymbolicLiteral s -> SymbolicLiteral s -> Bool

max :: SymbolicLiteral s -> SymbolicLiteral s -> SymbolicLiteral s

min :: SymbolicLiteral s -> SymbolicLiteral s -> SymbolicLiteral s

Generic (SymbolicLiteral s)

Associated Types

type Rep (SymbolicLiteral s) :: * -> *

Methods

from :: SymbolicLiteral s -> Rep (SymbolicLiteral s) x

to :: Rep (SymbolicLiteral s) x -> SymbolicLiteral s

Hashable (SymbolicLiteral s)

Methods

hashWithSalt :: Int -> SymbolicLiteral s -> Int

hash :: SymbolicLiteral s -> Int

Signed (SymbolicLiteral s)

Methods

positive :: SymbolicLiteral s -> Bool

negative :: SymbolicLiteral s -> Bool

type Rep (SymbolicLiteral s)

type Rep (SymbolicLiteral s) = D1 (MetaData "SymbolicLiteral" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) ((:+:) (C1 (MetaCons "SLPositive" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Symbol s)))) (C1 (MetaCons "SLNegative" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Symbol s)))))

rawSymLit :: SymbolicLiteral s -> SymbolicLiteral

newtype Literal s

Constructors

Literal

Fields

• rawLiteral :: Literal

Instances

Eq (Literal s)

Methods

(==) :: Literal s -> Literal s -> Bool

(/=) :: Literal s -> Literal s -> Bool

Ord (Literal s)

Methods

compare :: Literal s -> Literal s -> Ordering

(<) :: Literal s -> Literal s -> Bool

(<=) :: Literal s -> Literal s -> Bool

(>) :: Literal s -> Literal s -> Bool

(>=) :: Literal s -> Literal s -> Bool

max :: Literal s -> Literal s -> Literal s

min :: Literal s -> Literal s -> Literal s

Show (Literal s)

Methods

showsPrec :: Int -> Literal s -> ShowS

show :: Literal s -> String

showList :: [Literal s] -> ShowS

Generic (Literal s)

Associated Types

type Rep (Literal s) :: * -> *

Methods

from :: Literal s -> Rep (Literal s) x

to :: Rep (Literal s) x -> Literal s

NFData (Literal s)

Methods

rnf :: Literal s -> ()

Hashable (Literal s)

Methods

hashWithSalt :: Int -> Literal s -> Int

hash :: Literal s -> Int

Signed (Literal s)

Methods

positive :: Literal s -> Bool

negative :: Literal s -> Bool

type Rep (Literal s)

type Rep (Literal s) = D1 (MetaData "Literal" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" True) (C1 (MetaCons "Literal" PrefixI True) (S1 (MetaSel (Just Symbol "rawLiteral") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Literal)))

data WeightedLiteral s

Constructors

WeightedLiteral (Literal s) Integer

Instances

Eq (WeightedLiteral s)

Methods

(==) :: WeightedLiteral s -> WeightedLiteral s -> Bool

(/=) :: WeightedLiteral s -> WeightedLiteral s -> Bool

Ord (WeightedLiteral s)

Methods

compare :: WeightedLiteral s -> WeightedLiteral s -> Ordering

(<) :: WeightedLiteral s -> WeightedLiteral s -> Bool

(<=) :: WeightedLiteral s -> WeightedLiteral s -> Bool

(>) :: WeightedLiteral s -> WeightedLiteral s -> Bool

(>=) :: WeightedLiteral s -> WeightedLiteral s -> Bool

max :: WeightedLiteral s -> WeightedLiteral s -> WeightedLiteral s

min :: WeightedLiteral s -> WeightedLiteral s -> WeightedLiteral s

Show (WeightedLiteral s)

Methods

showsPrec :: Int -> WeightedLiteral s -> ShowS

show :: WeightedLiteral s -> String

showList :: [WeightedLiteral s] -> ShowS

Generic (WeightedLiteral s)

Associated Types

type Rep (WeightedLiteral s) :: * -> *

Methods

from :: WeightedLiteral s -> Rep (WeightedLiteral s) x

to :: Rep (WeightedLiteral s) x -> WeightedLiteral s

NFData (WeightedLiteral s)

Methods

rnf :: WeightedLiteral s -> ()

Hashable (WeightedLiteral s)

Methods

hashWithSalt :: Int -> WeightedLiteral s -> Int

hash :: WeightedLiteral s -> Int

type Rep (WeightedLiteral s)

type Rep (WeightedLiteral s) = D1 (MetaData "WeightedLiteral" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) (C1 (MetaCons "WeightedLiteral" PrefixI False) ((:*:) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Literal s))) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer))))

rawWeightedLiteral :: WeightedLiteral s -> WeightedLiteral

fromRawWeightedLiteral :: WeightedLiteral -> WeightedLiteral s

data ExternalType

Constructors

ExtFree

ExtTrue

ExtFalse

ExtRelease

Instances

Enum ExternalType

Methods

succ :: ExternalType -> ExternalType

pred :: ExternalType -> ExternalType

toEnum :: Int -> ExternalType

fromEnum :: ExternalType -> Int

enumFrom :: ExternalType -> [ExternalType]

enumFromThen :: ExternalType -> ExternalType -> [ExternalType]

enumFromTo :: ExternalType -> ExternalType -> [ExternalType]

enumFromThenTo :: ExternalType -> ExternalType -> ExternalType -> [ExternalType]

Eq ExternalType

Methods

(==) :: ExternalType -> ExternalType -> Bool

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

Ord ExternalType

Methods

compare :: ExternalType -> ExternalType -> Ordering

(<) :: ExternalType -> ExternalType -> Bool

(<=) :: ExternalType -> ExternalType -> Bool

(>) :: ExternalType -> ExternalType -> Bool

(>=) :: ExternalType -> ExternalType -> Bool

max :: ExternalType -> ExternalType -> ExternalType

min :: ExternalType -> ExternalType -> ExternalType

Read ExternalType

Methods

readsPrec :: Int -> ReadS ExternalType

readList :: ReadS [ExternalType]

readPrec :: ReadPrec ExternalType

readListPrec :: ReadPrec [ExternalType]

Show ExternalType

Methods

showsPrec :: Int -> ExternalType -> ShowS

show :: ExternalType -> String

showList :: [ExternalType] -> ShowS

Generic ExternalType

Associated Types

type Rep ExternalType :: * -> *

Methods

from :: ExternalType -> Rep ExternalType x

to :: Rep ExternalType x -> ExternalType

Hashable ExternalType

Methods

hashWithSalt :: Int -> ExternalType -> Int

hash :: ExternalType -> Int

type Rep ExternalType

type Rep ExternalType = D1 (MetaData "ExternalType" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) ((:+:) ((:+:) (C1 (MetaCons "ExtFree" PrefixI False) U1) (C1 (MetaCons "ExtTrue" PrefixI False) U1)) ((:+:) (C1 (MetaCons "ExtFalse" PrefixI False) U1) (C1 (MetaCons "ExtRelease" PrefixI False) U1)))

rawExtT :: ExternalType -> ExternalType

fromRawExtT :: ExternalType -> ExternalType

data HeuristicType

Constructors

HeuristicLevel

HeuristicSign

HeuristicFactor

HeuristicInit

HeuristicTrue

HeuristicFalse

Instances

Enum HeuristicType

Methods

succ :: HeuristicType -> HeuristicType

pred :: HeuristicType -> HeuristicType

toEnum :: Int -> HeuristicType

fromEnum :: HeuristicType -> Int

enumFrom :: HeuristicType -> [HeuristicType]

enumFromThen :: HeuristicType -> HeuristicType -> [HeuristicType]

enumFromTo :: HeuristicType -> HeuristicType -> [HeuristicType]

enumFromThenTo :: HeuristicType -> HeuristicType -> HeuristicType -> [HeuristicType]

Eq HeuristicType

Methods

(==) :: HeuristicType -> HeuristicType -> Bool

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

Ord HeuristicType

Methods

compare :: HeuristicType -> HeuristicType -> Ordering

(<) :: HeuristicType -> HeuristicType -> Bool

(<=) :: HeuristicType -> HeuristicType -> Bool

(>) :: HeuristicType -> HeuristicType -> Bool

(>=) :: HeuristicType -> HeuristicType -> Bool

max :: HeuristicType -> HeuristicType -> HeuristicType

min :: HeuristicType -> HeuristicType -> HeuristicType

Read HeuristicType

Methods

readsPrec :: Int -> ReadS HeuristicType

readList :: ReadS [HeuristicType]

readPrec :: ReadPrec HeuristicType

readListPrec :: ReadPrec [HeuristicType]

Show HeuristicType

Methods

showsPrec :: Int -> HeuristicType -> ShowS

show :: HeuristicType -> String

showList :: [HeuristicType] -> ShowS

Generic HeuristicType

Associated Types

type Rep HeuristicType :: * -> *

Methods

from :: HeuristicType -> Rep HeuristicType x

to :: Rep HeuristicType x -> HeuristicType

Hashable HeuristicType

Methods

hashWithSalt :: Int -> HeuristicType -> Int

hash :: HeuristicType -> Int

type Rep HeuristicType

type Rep HeuristicType = D1 (MetaData "HeuristicType" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) ((:+:) ((:+:) (C1 (MetaCons "HeuristicLevel" PrefixI False) U1) ((:+:) (C1 (MetaCons "HeuristicSign" PrefixI False) U1) (C1 (MetaCons "HeuristicFactor" PrefixI False) U1))) ((:+:) (C1 (MetaCons "HeuristicInit" PrefixI False) U1) ((:+:) (C1 (MetaCons "HeuristicTrue" PrefixI False) U1) (C1 (MetaCons "HeuristicFalse" PrefixI False) U1))))

rawHeuT :: HeuristicType -> HeuristicType

fromRawHeuT :: HeuristicType -> HeuristicType

negateLiteral :: Literal s -> Literal s

newtype AspifLiteral s

Constructors

AspifLiteral

Fields

• rawAspifLiteral :: Literal

Instances

Eq (AspifLiteral s)

Methods

(==) :: AspifLiteral s -> AspifLiteral s -> Bool

(/=) :: AspifLiteral s -> AspifLiteral s -> Bool

Ord (AspifLiteral s)

Methods

compare :: AspifLiteral s -> AspifLiteral s -> Ordering

(<) :: AspifLiteral s -> AspifLiteral s -> Bool

(<=) :: AspifLiteral s -> AspifLiteral s -> Bool

(>) :: AspifLiteral s -> AspifLiteral s -> Bool

(>=) :: AspifLiteral s -> AspifLiteral s -> Bool

max :: AspifLiteral s -> AspifLiteral s -> AspifLiteral s

min :: AspifLiteral s -> AspifLiteral s -> AspifLiteral s

Show (AspifLiteral s)

Methods

showsPrec :: Int -> AspifLiteral s -> ShowS

show :: AspifLiteral s -> String

showList :: [AspifLiteral s] -> ShowS

Generic (AspifLiteral s)

Associated Types

type Rep (AspifLiteral s) :: * -> *

Methods

from :: AspifLiteral s -> Rep (AspifLiteral s) x

to :: Rep (AspifLiteral s) x -> AspifLiteral s

NFData (AspifLiteral s)

Methods

rnf :: AspifLiteral s -> ()

Hashable (AspifLiteral s)

Methods

hashWithSalt :: Int -> AspifLiteral s -> Int

hash :: AspifLiteral s -> Int

Signed (AspifLiteral s)

Methods

positive :: AspifLiteral s -> Bool

negative :: AspifLiteral s -> Bool

type Rep (AspifLiteral s)

type Rep (AspifLiteral s) = D1 (MetaData "AspifLiteral" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" True) (C1 (MetaCons "AspifLiteral" PrefixI True) (S1 (MetaSel (Just Symbol "rawAspifLiteral") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Literal)))

newtype Atom s

Constructors

Atom

Fields

• rawAtom :: Atom

Instances

Eq (Atom s)

Methods

(==) :: Atom s -> Atom s -> Bool

(/=) :: Atom s -> Atom s -> Bool

Ord (Atom s)

Methods

compare :: Atom s -> Atom s -> Ordering

(<) :: Atom s -> Atom s -> Bool

(<=) :: Atom s -> Atom s -> Bool

(>) :: Atom s -> Atom s -> Bool

(>=) :: Atom s -> Atom s -> Bool

max :: Atom s -> Atom s -> Atom s

min :: Atom s -> Atom s -> Atom s

Show (Atom s)

Methods

showsPrec :: Int -> Atom s -> ShowS

show :: Atom s -> String

showList :: [Atom s] -> ShowS

Generic (Atom s)

Associated Types

type Rep (Atom s) :: * -> *

Methods

from :: Atom s -> Rep (Atom s) x

to :: Rep (Atom s) x -> Atom s

NFData (Atom s)

Methods

rnf :: Atom s -> ()

Hashable (Atom s)

Methods

hashWithSalt :: Int -> Atom s -> Int

hash :: Atom s -> Int

type Rep (Atom s)

type Rep (Atom s) = D1 (MetaData "Atom" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" True) (C1 (MetaCons "Atom" PrefixI True) (S1 (MetaSel (Just Symbol "rawAtom") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Atom)))

newtype Model s

Constructors

Model Model

data Location

Constructors

Location

Fields

• locBeginFile :: FilePath
• locEndFile :: FilePath
• locBeginLine :: Natural
• locEndLine :: Natural
• locBeginCol :: Natural
• locEndCol :: Natural

Instances

Eq Location

Methods

(==) :: Location -> Location -> Bool

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

Ord Location

Methods

compare :: Location -> Location -> Ordering

(<) :: Location -> Location -> Bool

(<=) :: Location -> Location -> Bool

(>) :: Location -> Location -> Bool

(>=) :: Location -> Location -> Bool

max :: Location -> Location -> Location

min :: Location -> Location -> Location

Show Location

Methods

showsPrec :: Int -> Location -> ShowS

show :: Location -> String

showList :: [Location] -> ShowS

rawLocation :: Location -> IO Location

freeRawLocation :: Location -> IO ()

fromRawLocation :: Location -> IO Location

data SolveResult

Constructors

Satisfiable Bool

Unsatisfiable Bool

Interrupted

Instances

Eq SolveResult

Methods

(==) :: SolveResult -> SolveResult -> Bool

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

Read SolveResult

Methods

readsPrec :: Int -> ReadS SolveResult

readList :: ReadS [SolveResult]

readPrec :: ReadPrec SolveResult

readListPrec :: ReadPrec [SolveResult]

Show SolveResult

Methods

showsPrec :: Int -> SolveResult -> ShowS

show :: SolveResult -> String

showList :: [SolveResult] -> ShowS

Generic SolveResult

Associated Types

type Rep SolveResult :: * -> *

Methods

from :: SolveResult -> Rep SolveResult x

to :: Rep SolveResult x -> SolveResult

NFData SolveResult

Methods

rnf :: SolveResult -> ()

Hashable SolveResult

Methods

hashWithSalt :: Int -> SolveResult -> Int

hash :: SolveResult -> Int

type Rep SolveResult

type Rep SolveResult = D1 (MetaData "SolveResult" "Clingo.Internal.Types" "clingo-0.2.0.0-DzJnCg9nABaE1yAGw8EIsO" False) ((:+:) (C1 (MetaCons "Satisfiable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) ((:+:) (C1 (MetaCons "Unsatisfiable" PrefixI False) (S1 (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) (C1 (MetaCons "Interrupted" PrefixI False) U1)))

rawSolveResult :: SolveResult -> SolveResult

fromRawSolveResult :: SolveResult -> SolveResult

newtype SolveMode

Constructors

SolveMode

Fields

• rawSolveMode :: SolveMode

Instances

Eq SolveMode

Methods

(==) :: SolveMode -> SolveMode -> Bool

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

Ord SolveMode

Methods

compare :: SolveMode -> SolveMode -> Ordering

(<) :: SolveMode -> SolveMode -> Bool

(<=) :: SolveMode -> SolveMode -> Bool

(>) :: SolveMode -> SolveMode -> Bool

(>=) :: SolveMode -> SolveMode -> Bool

max :: SolveMode -> SolveMode -> SolveMode

min :: SolveMode -> SolveMode -> SolveMode

Read SolveMode

Methods

readsPrec :: Int -> ReadS SolveMode

readList :: ReadS [SolveMode]

readPrec :: ReadPrec SolveMode

readListPrec :: ReadPrec [SolveMode]

Show SolveMode

Methods

showsPrec :: Int -> SolveMode -> ShowS

show :: SolveMode -> String

showList :: [SolveMode] -> ShowS

fromRawSolveMode :: SolveMode -> SolveMode

pattern SolveModeAsync :: SolveMode

pattern SolveModeYield :: SolveMode

newtype Solver s

Constructors

Solver SolveHandle

exhausted :: SolveResult -> Bool

wrapCBLogger :: MonadIO m => (ClingoWarning -> Text -> IO ()) -> m (FunPtr (Logger ()))

newtype Statistics s

Constructors

Statistics Statistics

newtype ProgramBuilder s

Constructors

ProgramBuilder ProgramBuilder

newtype Configuration s

Constructors

Configuration Configuration

newtype Backend s

Constructors

Backend Backend

newtype SymbolicAtoms s

Constructors

SymbolicAtoms SymbolicAtoms

newtype TheoryAtoms s

Constructors

TheoryAtoms TheoryAtoms

newtype TruthValue

Constructors

TruthValue

Fields

• rawTruthValue :: TruthValue

Instances

Eq TruthValue

Methods

(==) :: TruthValue -> TruthValue -> Bool

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

Ord TruthValue

Methods

compare :: TruthValue -> TruthValue -> Ordering

(<) :: TruthValue -> TruthValue -> Bool

(<=) :: TruthValue -> TruthValue -> Bool

(>) :: TruthValue -> TruthValue -> Bool

(>=) :: TruthValue -> TruthValue -> Bool

max :: TruthValue -> TruthValue -> TruthValue

min :: TruthValue -> TruthValue -> TruthValue

Show TruthValue

Methods

showsPrec :: Int -> TruthValue -> ShowS

show :: TruthValue -> String

showList :: [TruthValue] -> ShowS

pattern TruthFree :: TruthValue

pattern TruthFalse :: TruthValue

pattern TruthTrue :: TruthValue

negateTruth :: TruthValue -> TruthValue

data IOPropagator s

Constructors

IOPropagator

Fields

• propagatorInit :: Maybe (PropagateInit s -> IO ())
• propagatorPropagate :: Maybe (PropagateCtrl s -> [Literal s] -> IO ())
• propagatorUndo :: Maybe (PropagateCtrl s -> [Literal s] -> IO ())
• propagatorCheck :: Maybe (PropagateCtrl s -> IO ())

rawPropagator :: MonadIO m => IOPropagator s -> m (Propagator ())

newtype PropagateCtrl s

Constructors

PropagateCtrl PropagateControl

Instances

MonadReader (PropagateCtrl s) (Propagation Solving s)

Methods

ask :: Propagation Solving s (PropagateCtrl s)

local :: (PropagateCtrl s -> PropagateCtrl s) -> Propagation Solving s a -> Propagation Solving s a

reader :: (PropagateCtrl s -> a) -> Propagation Solving s a

newtype PropagateInit s

Constructors

PropagateInit PropagateInit

Instances

MonadReader (PropagateInit s) (Propagation Init s)

Methods

ask :: Propagation Init s (PropagateInit s)

local :: (PropagateInit s -> PropagateInit s) -> Propagation Init s a -> Propagation Init s a

reader :: (PropagateInit s -> a) -> Propagation Init s a

class AMVTree t where

Minimal complete definition

atArray, atMap, value

Methods

atArray :: Int -> t v -> Maybe (t v)

atMap :: Text -> t v -> Maybe (t v)

value :: t v -> Maybe v

Instances

AMVTree StatsTree

Methods

atArray :: Int -> StatsTree v -> Maybe (StatsTree v)

atMap :: Text -> StatsTree v -> Maybe (StatsTree v)

value :: StatsTree v -> Maybe v

AMVTree ConfTree

Methods

atArray :: Int -> ConfTree v -> Maybe (ConfTree v)

atMap :: Text -> ConfTree v -> Maybe (ConfTree v)

value :: ConfTree v -> Maybe v