Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.Search.Prelude

Contents

Base class for Search Primitives

Synopsis

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

Base class for Search Primitives

data PrimSearch sizeT precT #

Constructors

PrimSearch
Fields search_kind :: PrimSearchKind search_ty :: VarType sizeT

Instances

Instances details

Read sizeT => Read (PrimSearch sizeT precT) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods readsPrec :: Int -> ReadS (PrimSearch sizeT precT) # readList :: ReadS [PrimSearch sizeT precT] # readPrec :: ReadPrec (PrimSearch sizeT precT) # readListPrec :: ReadPrec [PrimSearch sizeT precT] #
Show sizeT => Show (PrimSearch sizeT precT) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods showsPrec :: Int -> PrimSearch sizeT precT -> ShowS # show :: PrimSearch sizeT precT -> String # showList :: [PrimSearch sizeT precT] -> ShowS #
Eq sizeT => Eq (PrimSearch sizeT precT) #
Instance details Defined in Traq.Primitives.Search.Prelude Methods (==) :: PrimSearch sizeT precT -> PrimSearch sizeT precT -> Bool # (/=) :: PrimSearch sizeT precT -> PrimSearch sizeT precT -> 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 sizeT => TypeCheckPrim (PrimSearch sizeT precT) sizeT #
Instance details Defined in Traq.Primitives.Search.Prelude Methods inferRetTypesPrim :: forall ext' shape m. (m ~ TypeChecker ext', sizeT ~ SizeType ext', shape ~ PrimFnShape (PrimSearch sizeT precT)) => PrimSearch sizeT precT -> shape (FnType sizeT) -> m [VarType sizeT] #
EvalPrim (PrimSearch sizeT precT) sizeT precT #
Instance details Defined in Traq.Primitives.Search.Prelude Methods evalPrim :: forall ext' shape m. (Evaluatable ext' sizeT precT, m ~ Evaluator ext', SizeType ext' ~ sizeT, PrecType ext' ~ precT, shape ~ PrimFnShape (PrimSearch sizeT precT)) => PrimSearch sizeT precT -> shape ([Value sizeT] -> m [Value sizeT]) -> m [Value sizeT] #
(PrimSearch (Sym sizeT) (Sym precT)) :<: (QSearchSym sizeT precT) #
Instance details Defined in Traq.Primitives.Search.Symbolic Methods inject :: PrimSearch (Sym sizeT) (Sym precT) -> QSearchSym sizeT precT # project :: QSearchSym sizeT precT -> Maybe (PrimSearch (Sym sizeT) (Sym precT)) #
(PrimSearch sizeT precT) :<: (DetSearch sizeT precT) #
Instance details Defined in Traq.Primitives.Search.DetSearch Methods inject :: PrimSearch sizeT precT -> DetSearch sizeT precT # project :: DetSearch sizeT precT -> Maybe (PrimSearch sizeT precT) #
(PrimSearch sizeT precT) :<: (QSearchCFNW sizeT precT) #
Instance details Defined in Traq.Primitives.Search.QSearchCFNW Methods inject :: PrimSearch sizeT precT -> QSearchCFNW sizeT precT # project :: QSearchCFNW sizeT precT -> Maybe (PrimSearch sizeT precT) #
type PrecType (PrimSearch sizeT precT) #
Instance details Defined in Traq.Primitives.Search.Prelude type PrecType (PrimSearch sizeT precT) = precT
type SizeType (PrimSearch sizeT precT) #
Instance details Defined in Traq.Primitives.Search.Prelude type SizeType (PrimSearch sizeT precT) = sizeT
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 #