# ast-path
AST-path is a representation for predicting program properties.
AST-path is described in the paper "A General Path-Based Representation for Predicting Program Properties" (PLDI'2018)
and used at and at .
This package is a third-party implementation of AST-path.
But the idea of AST-path is not restricted to AST.
So the implementation of this package accepts any algebraic data types.
```
{-# LANGUAGE DeriveGeneric #-}
import Data.ASTPath
data Tree a = Leaf a | Node (Tree a) (Tree a)
deriving (Eq, Show, Generic)
instance AST a => AST (Tree a)
instance AST Int where
astPathWithHalf = terminalPath show
>>> astPath $ Node (Leaf 0) (Node (Leaf 1) (Leaf 2))
[("Node",["Leaf","1"],["Leaf","2"]),("Node",["Leaf","0"],["Node","Leaf","1"]),("Node",["Leaf","0"],["Node","Leaf","2"])]
```