idris

Safe HaskellNone

IRTS.Compiler

Documentation

class ToIR a whereSource

Methods

ir :: a -> Idris LExpSource

Instances

ToIR SC 
ToIR (TT Name) 
ToIR ([Name], SC)