Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.Search.Prelude

Contents

Base class for Search Primitives

Synopsis

data PrimSearch size prec = PrimSearch {
- search_kind :: PrimSearchKind
- search_ty :: VarType size
}
data PrimSearchKind
- = AnyK
- | AllK
- | SearchK
newtype BooleanPredicate a = BooleanPredicate a

Base class for Search Primitives

data PrimSearch size prec #

Constructors

PrimSearch
Fields search_kind :: PrimSearchKind search_ty :: VarType size

Instances

Instances details

Read size => Read (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods readsPrec :: Int -> ReadS (PrimSearch size prec) # readList :: ReadS [PrimSearch size prec] # readPrec :: ReadPrec (PrimSearch size prec) # readListPrec :: ReadPrec [PrimSearch size prec] #
Show size => Show (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods showsPrec :: Int -> PrimSearch size prec -> ShowS # show :: PrimSearch size prec -> String # showList :: [PrimSearch size prec] -> ShowS #
Eq size => Eq (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods (==) :: PrimSearch size prec -> PrimSearch size prec -> Bool # (/=) :: PrimSearch size prec -> PrimSearch size prec -> Bool #
Show size => SerializePrim (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods primNames :: [Ident] # primNameOf :: PrimSearch size prec -> Ident # parsePrimParams :: TokenParser () -> Ident -> Parser (PrimSearch size prec) # printPrimParams :: PrimSearch size prec -> [String] #
MapSize (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude Associated Types type MappedSize (PrimSearch size prec) size' # Methods mapSize :: (size0 ~ SizeType (PrimSearch size prec), size' ~ SizeType ext', ext' ~ MappedSize (PrimSearch size prec) size') => (size0 -> size') -> PrimSearch size prec -> ext' #
TypingReqs size => TypeCheckPrim (PrimSearch size prec) size #
Instance details Defined in Traq.Primitives.Search.Prelude Methods inferRetTypesPrim :: forall ext' shape m. (m ~ TypeChecker ext', size ~ SizeType ext', shape ~ PrimFnShape (PrimSearch size prec)) => PrimSearch size prec -> shape (FnType size) -> m [VarType size] #
EvalPrim (PrimSearch size prec) size prec #
Instance details Defined in Traq.Primitives.Search.Prelude Methods evalPrim :: forall ext' shape m. (Evaluatable ext' size prec, m ~ Evaluator ext', SizeType ext' ~ size, PrecType ext' ~ prec, shape ~ PrimFnShape (PrimSearch size prec)) => PrimSearch size prec -> shape ([Value size] -> m [Value size]) -> m [Value size] #
(PrimSearch (Sym size) (Sym prec)) :<: (QSearchSym size prec) #
Instance details Defined in Traq.Primitives.Search.Symbolic Methods inject :: PrimSearch (Sym size) (Sym prec) -> QSearchSym size prec # project :: QSearchSym size prec -> Maybe (PrimSearch (Sym size) (Sym prec)) #
(PrimSearch size prec) :<: (DetSearch size prec) #
Instance details Defined in Traq.Primitives.Search.DetSearch Methods inject :: PrimSearch size prec -> DetSearch size prec # project :: DetSearch size prec -> Maybe (PrimSearch size prec) #
(PrimSearch size prec) :<: (QSearchCFNW size prec) #
Instance details Defined in Traq.Primitives.Search.QSearchCFNW Methods inject :: PrimSearch size prec -> QSearchCFNW size prec # project :: QSearchCFNW size prec -> Maybe (PrimSearch size prec) #
type PrecType (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude type PrecType (PrimSearch size prec) = prec
type SizeType (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude type SizeType (PrimSearch size prec) = size
type PrimFnShape (PrimSearch size prec) #
Instance details Defined in Traq.Primitives.Search.Prelude type PrimFnShape (PrimSearch size prec) = BooleanPredicate
type MappedSize (PrimSearch size prec) size' #
Instance details Defined in Traq.Primitives.Search.Prelude type MappedSize (PrimSearch size prec) size' = PrimSearch size' prec

data PrimSearchKind #

Constructors

AnyK
AllK
SearchK

Instances

Instances details

Enum PrimSearchKind #
Instance details Defined in Traq.Primitives.Search.Prelude Methods succ :: PrimSearchKind -> PrimSearchKind # pred :: PrimSearchKind -> PrimSearchKind # toEnum :: Int -> PrimSearchKind # fromEnum :: PrimSearchKind -> Int # enumFrom :: PrimSearchKind -> [PrimSearchKind] # enumFromThen :: PrimSearchKind -> PrimSearchKind -> [PrimSearchKind] # enumFromTo :: PrimSearchKind -> PrimSearchKind -> [PrimSearchKind] # enumFromThenTo :: PrimSearchKind -> PrimSearchKind -> PrimSearchKind -> [PrimSearchKind] #
Read PrimSearchKind #
Instance details Defined in Traq.Primitives.Search.Prelude Methods readsPrec :: Int -> ReadS PrimSearchKind # readList :: ReadS [PrimSearchKind] # readPrec :: ReadPrec PrimSearchKind # readListPrec :: ReadPrec [PrimSearchKind] #
Show PrimSearchKind #
Instance details Defined in Traq.Primitives.Search.Prelude Methods showsPrec :: Int -> PrimSearchKind -> ShowS # show :: PrimSearchKind -> String # showList :: [PrimSearchKind] -> ShowS #
Eq PrimSearchKind #
Instance details Defined in Traq.Primitives.Search.Prelude Methods (==) :: PrimSearchKind -> PrimSearchKind -> Bool # (/=) :: PrimSearchKind -> PrimSearchKind -> Bool #

newtype BooleanPredicate a #

Constructors

BooleanPredicate a

Instances

Instances details

ValidPrimShape BooleanPredicate #
Instance details Defined in Traq.Primitives.Search.Prelude Methods listToShape :: [a] -> Either String (BooleanPredicate a) # shapeToList :: BooleanPredicate a -> [a] #
Show a => Show (BooleanPredicate a) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods showsPrec :: Int -> BooleanPredicate a -> ShowS # show :: BooleanPredicate a -> String # showList :: [BooleanPredicate a] -> ShowS #
Eq a => Eq (BooleanPredicate a) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods (==) :: BooleanPredicate a -> BooleanPredicate a -> Bool # (/=) :: BooleanPredicate a -> BooleanPredicate a -> Bool #