unison-parser-typechecker-0.0.0
Safe HaskellSafe-Inferred
LanguageHaskell2010

Unison.Typechecker.Extractor

Synopsis

Documentation

type RedundantTypeAnnotation = Bool Source #

type Extractor e a = MaybeT (Reader e) a Source #

type ErrorExtractor v loc a = Extractor (ErrorNote v loc) a Source #

type InfoExtractor v loc a = Extractor (InfoNote v loc) a Source #

type PathExtractor v loc a = Extractor (PathElement v loc) a Source #

type SubseqExtractor v loc a = SubseqExtractor' (ErrorNote v loc) a Source #

extractor :: (e -> Maybe a) -> Extractor e a Source #

extract :: Extractor e a -> e -> Maybe a Source #

subseqExtractor :: (ErrorNote v loc -> [Ranged a]) -> SubseqExtractor v loc a Source #

traceSubseq :: Show a => String -> SubseqExtractor' n a -> SubseqExtractor' n a Source #

traceNote :: Show a => String -> ErrorExtractor v loc a -> ErrorExtractor v loc a Source #

unique :: SubseqExtractor v loc a -> ErrorExtractor v loc a Source #

data SubseqExtractor' n a Source #

Constructors

SubseqExtractor' 

Fields

Instances

Instances details
MonadFail (SubseqExtractor' n) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

fail :: String -> SubseqExtractor' n a #

Alternative (SubseqExtractor' n) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

empty :: SubseqExtractor' n a #

(<|>) :: SubseqExtractor' n a -> SubseqExtractor' n a -> SubseqExtractor' n a #

some :: SubseqExtractor' n a -> SubseqExtractor' n [a] #

many :: SubseqExtractor' n a -> SubseqExtractor' n [a] #

Applicative (SubseqExtractor' n) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

pure :: a -> SubseqExtractor' n a #

(<*>) :: SubseqExtractor' n (a -> b) -> SubseqExtractor' n a -> SubseqExtractor' n b #

liftA2 :: (a -> b -> c) -> SubseqExtractor' n a -> SubseqExtractor' n b -> SubseqExtractor' n c #

(*>) :: SubseqExtractor' n a -> SubseqExtractor' n b -> SubseqExtractor' n b #

(<*) :: SubseqExtractor' n a -> SubseqExtractor' n b -> SubseqExtractor' n a #

Functor (SubseqExtractor' n) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

fmap :: (a -> b) -> SubseqExtractor' n a -> SubseqExtractor' n b #

(<$) :: a -> SubseqExtractor' n b -> SubseqExtractor' n a #

Monad (SubseqExtractor' n) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

(>>=) :: SubseqExtractor' n a -> (a -> SubseqExtractor' n b) -> SubseqExtractor' n b #

(>>) :: SubseqExtractor' n a -> SubseqExtractor' n b -> SubseqExtractor' n b #

return :: a -> SubseqExtractor' n a #

MonadPlus (SubseqExtractor' n) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

mzero :: SubseqExtractor' n a #

mplus :: SubseqExtractor' n a -> SubseqExtractor' n a -> SubseqExtractor' n a #

Monoid (SubseqExtractor' n a) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

mempty :: SubseqExtractor' n a #

mappend :: SubseqExtractor' n a -> SubseqExtractor' n a -> SubseqExtractor' n a #

mconcat :: [SubseqExtractor' n a] -> SubseqExtractor' n a #

Semigroup (SubseqExtractor' n a) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

(<>) :: SubseqExtractor' n a -> SubseqExtractor' n a -> SubseqExtractor' n a #

sconcat :: NonEmpty (SubseqExtractor' n a) -> SubseqExtractor' n a #

stimes :: Integral b => b -> SubseqExtractor' n a -> SubseqExtractor' n a #

data Ranged a Source #

Constructors

Pure a 
Ranged 

Fields

Instances

Instances details
Functor Ranged Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

fmap :: (a -> b) -> Ranged a -> Ranged b #

(<$) :: a -> Ranged b -> Ranged a #

Show a => Show (Ranged a) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

showsPrec :: Int -> Ranged a -> ShowS #

show :: Ranged a -> String #

showList :: [Ranged a] -> ShowS #

_no :: SubseqExtractor' n a -> SubseqExtractor' n () Source #

collects the regions where xa doesn't match / aka invert a set of intervals unused, but don't want to delete it yet - Aug 30, 2018

_any :: SubseqExtractor v loc () Source #

_any' :: (n -> Int) -> SubseqExtractor' n () Source #

data DistinctRanged a Source #

Constructors

DistinctRanged a Int Int 

Instances

Instances details
Eq (DistinctRanged a) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

(==) :: DistinctRanged a -> DistinctRanged a -> Bool #

(/=) :: DistinctRanged a -> DistinctRanged a -> Bool #

Ord (DistinctRanged a) Source # 
Instance details

Defined in Unison.Typechecker.Extractor

Methods

compare :: DistinctRanged a -> DistinctRanged a -> Ordering #

(<) :: DistinctRanged a -> DistinctRanged a -> Bool #

(<=) :: DistinctRanged a -> DistinctRanged a -> Bool #

(>) :: DistinctRanged a -> DistinctRanged a -> Bool #

(>=) :: DistinctRanged a -> DistinctRanged a -> Bool #

max :: DistinctRanged a -> DistinctRanged a -> DistinctRanged a #

min :: DistinctRanged a -> DistinctRanged a -> DistinctRanged a #

some :: forall n a. SubseqExtractor' n a -> SubseqExtractor' n [a] Source #

pathStart :: SubseqExtractor' n () Source #

asPathExtractor :: (PathElement v loc -> Maybe a) -> SubseqExtractor v loc a Source #

inSynthesize :: SubseqExtractor v loc (Term v loc) Source #

inSubtype :: SubseqExtractor v loc (Type v loc, Type v loc) Source #

inEquate :: SubseqExtractor v loc (Type v loc, Type v loc) Source #

inCheck :: SubseqExtractor v loc (Term v loc, Type v loc) Source #

inSynthesizeApp :: SubseqExtractor v loc (Type v loc, Term v loc, Int) Source #

inFunctionCall :: SubseqExtractor v loc ([v], Term v loc, Type v loc, [Term v loc]) Source #

inAndApp :: SubseqExtractor v loc () Source #

inOrApp :: SubseqExtractor v loc () Source #

inIfCond :: SubseqExtractor v loc () Source #

inMatchGuard :: SubseqExtractor v loc () Source #

inMatchBody :: SubseqExtractor v loc () Source #

inMatch :: SubseqExtractor v loc loc Source #

inVector :: SubseqExtractor v loc loc Source #

inIfBody :: SubseqExtractor v loc loc Source #

cause :: ErrorExtractor v loc (Cause v loc) Source #

duplicateDefinitions :: ErrorExtractor v loc (NonEmpty (v, [loc])) Source #

uncoveredPatterns :: ErrorExtractor v loc (loc, NonEmpty (Pattern ())) Source #

redundantPattern :: ErrorExtractor v loc loc Source #

kindInferenceFailure :: ErrorExtractor v loc (KindError v loc) Source #

typeMismatch :: ErrorExtractor v loc (Context v loc) Source #

illFormedType :: ErrorExtractor v loc (Context v loc) Source #

unknownSymbol :: ErrorExtractor v loc (loc, v) Source #

unknownTerm :: Var v => ErrorExtractor v loc (loc, v, [Suggestion v loc], Type v loc) Source #

abilityCheckFailure :: ErrorExtractor v loc ([Type v loc], [Type v loc], Context v loc) Source #

abilityEqFailure :: ErrorExtractor v loc ([Type v loc], [Type v loc], Context v loc) Source #

effectConstructorWrongArgCount :: ErrorExtractor v loc (ExpectedArgCount, ActualArgCount, ConstructorReference) Source #

malformedEffectBind :: ErrorExtractor v loc (Type v loc, Type v loc, [Type v loc]) Source #

solvedBlank :: InfoExtractor v loc (Recorded loc, v, Type v loc) Source #

errorNote :: ErrorExtractor v loc (ErrorNote v loc) Source #

infoNote :: InfoExtractor v loc (InfoNote v loc) Source #

innermostTerm :: ErrorExtractor v loc (Term v loc) Source #

path :: ErrorExtractor v loc [PathElement v loc] Source #

topLevelComponent :: InfoExtractor v loc [(v, Type v loc, RedundantTypeAnnotation)] Source #