ast-path: vocabulary representation for predicting program properties

[ bsd3, data, library, natural-language-processing ] [ Propose Tags ]

Please see the README on GitHub at

[Skip to Readme]
Versions [faq] 0.1.2, 0.2.0
Change log
Dependencies base (>=4.7 && <5) [details]
License BSD-3-Clause
Copyright 2019 Keito Kajitani
Author Keito Kajitani
Category Data, Natural Language Processing
Home page
Bug tracker
Source repo head: git clone
Uploaded by ijaketak at Mon Jun 17 09:17:40 UTC 2019
Distributions NixOS:0.2.0
Downloads 54 total (54 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2019-06-17 [all 1 reports]


[Index] [Quick Jump]


Maintainer's Corner

For package maintainers and hackage trustees

Readme for ast-path-0.2.0

[back to package description]


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))