idris-0.99: Functional Programming Language with Dependent Types

Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

Idris.Elab.Quasiquote

Description

Documentation

extractUnquotes :: Int -> PTerm -> Elab' aux (PTerm, [(Name, PTerm)]) Source #