Agda-2.3.2: A dependently typed functional programming language and proof assistant

Safe HaskellNone

Agda.Compiler.JS.Pretty

Documentation

class Pretties a whereSource

Methods

pretties :: Nat -> Int -> a -> [String]Source

Instances

Pretty a => Pretties [a] 
(Pretty a, Pretty b) => Pretties (Map a b)