Data.ASTPath

AST-path is a representation for predicting program properties.

Documentation

type HalfPath = [String]

type ASTPath = (String, HalfPath, HalfPath)

(top node, [..., start node], [..., end node])

toList :: ASTPath -> [String]

astPath :: AST a => a -> [ASTPath]

Generate AST-paths from tree.

class AST a where

Typeclass for tree or terminal node.

Minimal complete definition

astPathWithHalf

Methods

astPathWithHalf

Arguments

:: a

current tree

-> String

label of current root node

-> ([ASTPath], [HalfPath])

paths and half paths

Generate paths and half paths for recursion.

astPathWithHalf

Arguments

:: (Generic a, AST' (Rep a))

=> a

current tree

-> String

label of current root node

-> ([ASTPath], [HalfPath])

paths and half paths

Generate paths and half paths for recursion.

Instances

AST a => AST [a]

Constructor of list type is ignored, same as generic product type. Hence list type itself cannot be used with astPath. If want to use, supply root node label.

Defined in Data.ASTPath

Methods

astPathWithHalf :: [a] -> String -> ([ASTPath], [HalfPath])

treePath :: forall a. (Generic a, AST' (Rep a)) => a -> String -> ([ASTPath], [HalfPath])

Default implementation for tree type.

terminalPath :: (a -> String) -> a -> String -> ([ASTPath], [HalfPath])

Typical implementation for terminal node type.

nullPath :: a -> String -> ([ASTPath], [HalfPath])

No path implementation for auxiliary data type.

class AST' f where

Class of generic representation types that can be parsed into paths.

Methods

astPathWithHalf' :: f a -> String -> ([ASTPath], [HalfPath])

Default implementation for generic instances of AST.

Instances

AST' (V1 :: Type -> Type)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: V1 a -> String -> ([ASTPath], [HalfPath])

AST' (U1 :: Type -> Type)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: U1 a -> String -> ([ASTPath], [HalfPath])

AST a => AST' (K1 i a :: Type -> Type)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: K1 i a a0 -> String -> ([ASTPath], [HalfPath])

(AST' f, AST' g) => AST' (f :+: g)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: (f :+: g) a -> String -> ([ASTPath], [HalfPath])

(AST' f, AST' g) => AST' (f :*: g)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: (f :*: g) a -> String -> ([ASTPath], [HalfPath])

(AST' f, Datatype d) => AST' (D1 d f)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: D1 d f a -> String -> ([ASTPath], [HalfPath])

(AST' f, Constructor c) => AST' (C1 c f)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: C1 c f a -> String -> ([ASTPath], [HalfPath])

(AST' f, Selector s) => AST' (S1 s f)

Defined in Data.ASTPath

Methods

astPathWithHalf' :: S1 s f a -> String -> ([ASTPath], [HalfPath])