Safe Haskell	Safe-Inferred
Language	Haskell2010

Traq.Primitives.TreeSearch

Synopsis

data TreeSearch sizeT precT = TreeSearch {
- getChildren :: Ident
- getChildrenArgs :: [Ident]
- checkNode :: Ident
- checkNodeArgs :: [Ident]
}

Documentation

data TreeSearch sizeT precT #

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