liquidhaskell-0.8.0.2: Liquid Types for Haskell

Safe Haskell	None
Language	Haskell98

Language.Haskell.Liquid.Bare.Resolve

Documentation

class Resolvable a where Source #

Minimal complete definition

Methods

resolve :: SourcePos -> a -> BareM a Source #

Instances

Resolvable () Source #
Methods resolve :: SourcePos -> () -> BareM () Source #
Resolvable Sort Source #
Methods resolve :: SourcePos -> Sort -> BareM Sort Source #
Resolvable Reft Source #
Methods resolve :: SourcePos -> Reft -> BareM Reft Source #
Resolvable Expr Source #
Methods resolve :: SourcePos -> Expr -> BareM Expr Source #
Resolvable Symbol Source #
Methods resolve :: SourcePos -> Symbol -> BareM Symbol Source #
Resolvable LocSymbol Source #
Methods resolve :: SourcePos -> LocSymbol -> BareM LocSymbol Source #
Resolvable Qualifier Source #
Methods resolve :: SourcePos -> Qualifier -> BareM Qualifier Source #
Resolvable Predicate Source #
Methods resolve :: SourcePos -> Predicate -> BareM Predicate Source #
Resolvable a => Resolvable [a] Source #
Methods resolve :: SourcePos -> [a] -> BareM [a] Source #
Resolvable (UReft Reft) Source #
Methods resolve :: SourcePos -> UReft Reft -> BareM (UReft Reft) Source #
Resolvable t => Resolvable (PVar t) Source #
Methods resolve :: SourcePos -> PVar t -> BareM (PVar t) Source #