hls-tactics-plugin-1.6.2.0: Wingman plugin for Haskell Language Server
Safe HaskellNone
LanguageHaskell2010

Wingman.Metaprogramming.ProofState

Documentation

renderSimplyDecorated Source #

Arguments

:: Monoid out 
=> (Text -> out)

Render plain Text

-> (ann -> out)

How to render an annotation

-> (ann -> out)

How to render the removed annotation

-> SimpleDocStream ann 
-> out 

data Ann Source #

Constructors

Goal 
Hypoth 
Status 

Instances

Instances details
Bounded Ann Source # 
Instance details

Defined in Wingman.Metaprogramming.ProofState

Methods

minBound :: Ann #

maxBound :: Ann #

Enum Ann Source # 
Instance details

Defined in Wingman.Metaprogramming.ProofState

Methods

succ :: Ann -> Ann #

pred :: Ann -> Ann #

toEnum :: Int -> Ann #

fromEnum :: Ann -> Int #

enumFrom :: Ann -> [Ann] #

enumFromThen :: Ann -> Ann -> [Ann] #

enumFromTo :: Ann -> Ann -> [Ann] #

enumFromThenTo :: Ann -> Ann -> Ann -> [Ann] #

Eq Ann Source # 
Instance details

Defined in Wingman.Metaprogramming.ProofState

Methods

(==) :: Ann -> Ann -> Bool #

(/=) :: Ann -> Ann -> Bool #

Ord Ann Source # 
Instance details

Defined in Wingman.Metaprogramming.ProofState

Methods

compare :: Ann -> Ann -> Ordering #

(<) :: Ann -> Ann -> Bool #

(<=) :: Ann -> Ann -> Bool #

(>) :: Ann -> Ann -> Bool #

(>=) :: Ann -> Ann -> Bool #

max :: Ann -> Ann -> Ann #

min :: Ann -> Ann -> Ann #

Show Ann Source # 
Instance details

Defined in Wingman.Metaprogramming.ProofState

Methods

showsPrec :: Int -> Ann -> ShowS #

show :: Ann -> String #

showList :: [Ann] -> ShowS #