Hoogle Search

Within LTS Haskell 24.60 (ghc-9.10.3)

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

Exact lookup

1. parseToGMapEntry :: FromJSONKey k => (s -> Parser k) -> (s -> Parser v) -> Either (KeyMap s) (Vector s) -> Parser (GMapEntry k v)

   greskell	Data.Greskell

   General parser for GMapEntry.

2. parseTypedGraphSON :: (GraphSONTyped v, FromJSON v) => Value -> Parser (GraphSON v)

   greskell	Data.Greskell

   Parse GraphSON v, but it checks gsonType. If gsonType is Nothing or it's not equal to gsonTypeFor, the Parser fails.

3. cSet :: Greskell Cardinality

   greskell	Data.Greskell.Graph

   set Cardinality.

4. class Monoid symbolSet => SymbolSetOps symbolSet (typedSymbol :: Type -> Type) | symbolSet -> typedSymbol

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   The operations on symbolic constant sets Note that symbolic constants with different types are considered different.

   >>> let aBool = "a" :: TypedAnySymbol Bool
   
   >>> let bBool = "b" :: TypedAnySymbol Bool
   
   >>> let cBool = "c" :: TypedAnySymbol Bool
   
   >>> let aInteger = "a" :: TypedAnySymbol Integer
   
   >>> emptySet :: AnySymbolSet
   SymbolSet {}
   
   >>> containsSymbol aBool (buildSymbolSet aBool :: AnySymbolSet)
   True
   
   >>> containsSymbol bBool (buildSymbolSet aBool :: AnySymbolSet)
   False
   
   >>> insertSymbol aBool (buildSymbolSet aBool :: AnySymbolSet)
   SymbolSet {a :: Bool}
   
   >>> insertSymbol aInteger (buildSymbolSet aBool :: AnySymbolSet)
   SymbolSet {a :: Bool, a :: Integer}
   
   >>> let abSet = buildSymbolSet (aBool, bBool) :: AnySymbolSet
   
   >>> let acSet = buildSymbolSet (aBool, cBool) :: AnySymbolSet
   
   >>> intersectionSet abSet acSet
   SymbolSet {a :: Bool}
   
   >>> unionSet abSet acSet
   SymbolSet {a :: Bool, b :: Bool, c :: Bool}
   
   >>> differenceSet abSet acSet
   SymbolSet {b :: Bool}
   

5. class SymbolSetOps symbolSet typedSymbol => SymbolSetRep rep symbolSet (typedSymbol :: Type -> Type)

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   A type class for building a symbolic constant set manually from a symbolic constant set representation

   >>> buildSymbolSet ("a" :: TypedAnySymbol Bool, "b" :: TypedAnySymbol Bool) :: AnySymbolSet
   SymbolSet {a :: Bool, b :: Bool}
   

6. buildSymbolSet :: SymbolSetRep rep symbolSet typedSymbol => rep -> symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Build a symbolic constant set

7. differenceSet :: SymbolSetOps symbolSet typedSymbol => symbolSet -> symbolSet -> symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Set difference

8. emptySet :: SymbolSetOps symbolSet typedSymbol => symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Construct an empty set

9. intersectionSet :: SymbolSetOps symbolSet typedSymbol => symbolSet -> symbolSet -> symbolSet

   grisette	Grisette.Internal.Core.Data.Class.ModelOps

   Set intersection

10. isEmptySet :: SymbolSetOps symbolSet typedSymbol => symbolSet -> Bool

    grisette	Grisette.Internal.Core.Data.Class.ModelOps

    Check if the set is empty

Page 192 of many | Previous | Next