Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.TreeSearch

Synopsis

data TreeSearch size prec = TreeSearch {
- getChildren :: Ident
- getChildrenArgs :: [Ident]
- checkNode :: Ident
- checkNodeArgs :: [Ident]
}

Documentation

data TreeSearch size prec #

Search a binary tree rooted at node 1.

getChildren returns the two child nodes. If any is 0 it means there no node. Both being 0 means the current node is a leaf.

checkNode returns a boolean value.

Constructors

TreeSearch
Fields getChildren :: Ident getChildrenArgs :: [Ident] checkNode :: Ident checkNodeArgs :: [Ident]

Instances

Instances details

Read (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch Methods readsPrec :: Int -> ReadS (TreeSearch size prec) # readList :: ReadS [TreeSearch size prec] # readPrec :: ReadPrec (TreeSearch size prec) # readListPrec :: ReadPrec [TreeSearch size prec] #
Show (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch Methods showsPrec :: Int -> TreeSearch size prec -> ShowS # show :: TreeSearch size prec -> String # showList :: [TreeSearch size prec] -> ShowS #
Eq (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch Methods (==) :: TreeSearch size prec -> TreeSearch size prec -> Bool # (/=) :: TreeSearch size prec -> TreeSearch size prec -> Bool #
Parseable (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch Methods parseE :: TokenParser () -> Parser (TreeSearch size prec) #
ToCodeString (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch Methods build :: (MonadWriter [String] m, MonadFail m) => TreeSearch size prec -> m () #
TypingReqs size => TypeInferrable (TreeSearch size prec) size #
Instance details Defined in Traq.Primitives.TreeSearch Methods inferTypes :: forall ext' m. (m ~ TypeChecker ext', size ~ SizeType ext') => TreeSearch size prec -> m [VarType size] #
EvalReqs SizeT prec => Evaluatable (TreeSearch SizeT prec) SizeT prec #
Instance details Defined in Traq.Primitives.TreeSearch Methods eval :: (Evaluatable ext' SizeT prec, m ~ Evaluator ext', SizeType ext' ~ SizeT, PrecType ext' ~ prec) => TreeSearch SizeT prec -> ProgramState SizeT -> m [Value SizeT] #
type PrecType (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch type PrecType (TreeSearch size prec) = prec
type SizeType (TreeSearch size prec) #
Instance details Defined in Traq.Primitives.TreeSearch type SizeType (TreeSearch size prec) = size