Hoogle Search

Within LTS Haskell 24.35 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

  1. formulaSet :: Formula -> Seq Clause

    ersatz Ersatz.Internal.Formula

    No documentation available.

  2. formulaXor :: Literal -> Literal -> Literal -> Formula

    ersatz Ersatz.Internal.Formula

    The boolean xor operation Derivation of the Tseitin transformation: 

    O ≡ A ⊕ B
O ≡ ((¬A & B) | (A & ¬B))
(O → ((¬A & B) | (A & ¬B))) & (¬O → ¬((¬A & B) | (A & ¬B)))
    Left hand side: 
    O → ((¬A & B) | (A & ¬B))
¬O | ((¬A & B) | (A & ¬B))
¬O | ((¬A | A) & (¬A | ¬B) & (A | B) & (¬B | B))
¬O | ((¬A | ¬B) & (A | B))
(¬O | ¬A | ¬B) & (¬O | A | B)
    Right hand side: 
    ¬O → ¬((¬A & B) | (A & ¬B))
O | ¬((¬A & B) | (A & ¬B))
O | (¬(¬A & B) & ¬(A & ¬B))
O | ((A | ¬B) & (¬A | B))
(O | ¬A | B) & (O | A | ¬B)
    Result: 
    (¬O | ¬A | ¬B) & (¬O | A | B) & (O | ¬A | B) & (O | A | ¬B)

  3. formula :: HasSAT s => Lens' s Formula

    ersatz Ersatz.Problem

    No documentation available.

  4. forall_ :: (Variable a, MonadQSAT s m) => m a

    ersatz Ersatz.Variable

    No documentation available.

  5. forkIOWithThrowToParent :: IO () -> IO ThreadId

    faktory Faktory.Prelude

    No documentation available.

  6. forward :: Sign

    fftw-ffi Numeric.FFTW.FFI

    No documentation available.

  7. forMonoid :: Monoid i => Args i i

    fold-debounce-conduit Data.Conduit.FoldDebounce

    Args for monoids. Input events are appended to the tail.

  8. forStack :: Args i [i]

    fold-debounce-conduit Data.Conduit.FoldDebounce

    Args for stacks. Input events are accumulated in a stack, i.e., the last event is at the head of the list.

  9. forVoid :: Args i ()

    fold-debounce-conduit Data.Conduit.FoldDebounce

    Args that discards input events. The data stream from the debounced source indicates the presence of data from the original source.

  10. package force-layout

    Simple force-directed layout Simulation engine for doing simple force-based layout, e.g. for trees or graphs. See the diagrams-contrib package for usage examples.

Page 162 of many | Previous | Next