Language.Haskell.Liquid.Bare.Resolve

Documentation

class Resolvable a where

Methods

resolve :: SourcePos -> a -> BareM a

Instances

Resolvable ()

Resolvable Sort

Resolvable Expr

Resolvable Pred

Resolvable Reft

Resolvable Qualifier

Resolvable LocSymbol

Resolvable Symbol

Resolvable Predicate

Resolvable a => Resolvable [a]

Resolvable (UReft Reft)

Resolvable t => Resolvable (PVar t)