coda-0.0.1: The coda compiler

Safe Haskell	None
Language	Haskell2010

Coda.Syntax.Summary

Documentation

type Summary = () Source #

summarize :: Text -> Dyck -> Summary Source #

mergeSummary :: Int -> Delta -> Summary -> Int -> Delta -> Summary -> Summary Source #