idris

Safe HaskellNone

Util.Pretty

Documentation

module Text.PrettyPrint.HughesPJ

class Sized a whereSource

Methods

size :: a -> IntSource

Instances

Sized NameType 
Sized UExp 
Sized Raw 
Sized Const 
Sized Name 
Sized Err 
Sized FC 
Sized PTerm 
Sized a => Sized [a] 
Sized a => Sized (TT a) 
Sized a => Sized (Binder a) 
Sized a => Sized (PArg' a) 
Sized a => Sized (PDo' a) 
Sized a => Sized (PTactic' a) 
(Sized a, Sized b) => Sized (a, b) 

breakingSize :: IntSource

nestingSize :: IntSource

class Pretty a whereSource

Methods

pretty :: a -> DocSource

Instances