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

Unison.Typechecker.Variance

Documentation

data Polarity v Source #

Constructors

Positive 
Negative 
Exact 
As v 
Op v 

Instances

Instances details
Show v => Show (Polarity v) Source # 
Instance details

Defined in Unison.Typechecker.Variance

Methods

showsPrec :: Int -> Polarity v -> ShowS #

show :: Polarity v -> String #

showList :: [Polarity v] -> ShowS #

Eq v => Eq (Polarity v) Source # 
Instance details

Defined in Unison.Typechecker.Variance

Methods

(==) :: Polarity v -> Polarity v -> Bool #

(/=) :: Polarity v -> Polarity v -> Bool #

Ord v => Ord (Polarity v) Source # 
Instance details

Defined in Unison.Typechecker.Variance

Methods

compare :: Polarity v -> Polarity v -> Ordering #

(<) :: Polarity v -> Polarity v -> Bool #

(<=) :: Polarity v -> Polarity v -> Bool #

(>) :: Polarity v -> Polarity v -> Bool #

(>=) :: Polarity v -> Polarity v -> Bool #

max :: Polarity v -> Polarity v -> Polarity v #

min :: Polarity v -> Polarity v -> Polarity v #

inv :: Polarity v -> Polarity v Source #

act :: Polarity v -> Polarity v -> Polarity v Source #

data Variance Source #

Constructors

Any 
Pos 
Neg 
Inv 

Instances

Instances details
Show Variance Source # 
Instance details

Defined in Unison.Typechecker.Variance

Methods

showsPrec :: Int -> Variance -> ShowS #

show :: Variance -> String #

showList :: [Variance] -> ShowS #

Eq Variance Source # 
Instance details

Defined in Unison.Typechecker.Variance

Methods

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

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

Ord Variance Source # 
Instance details

Defined in Unison.Typechecker.Variance

Methods

compare :: Variance -> Variance -> Ordering #

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

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

(>) :: Variance -> Variance -> Bool #

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

max :: Variance -> Variance -> Variance #

min :: Variance -> Variance -> Variance #

defaultVariances :: Map Reference [Variance] Source #

lookupVariance :: Map Reference [Variance] -> Type v a -> Maybe [Variance] Source #

combine :: Ord v => [Map v [Polarity v]] -> Map v [Polarity v] Source #

collectVariance :: Var v => Map Reference [Variance] -> Map Reference [v] -> Type v a -> Map v [Polarity v] Source #

collectDeclVariance :: (Var v, Show a) => Map Reference [Variance] -> Map Reference [v] -> DataDeclaration v a -> Map v [Polarity v] Source #

simplify :: Var v => v -> [Polarity v] -> [Polarity v] Source #

chain :: Var v => Map v [Polarity v] -> [Polarity v] -> [Polarity v] Source #

checkFinished :: Map v [Polarity v] -> Maybe (Map v Variance) Source #

solve :: Var v => Map v [Polarity v] -> Map v Variance Source #

inferDeclGroupVariance :: (Var v, Show a) => Map Reference [Variance] -> Map Reference (DataDeclaration v a) -> Map Reference [Variance] Source #

freshenGroup :: Var v => Map Reference (DataDeclaration v a) -> Map Reference ([v], DataDeclaration v a) Source #

freshDecl :: Var v => DataDeclaration v a -> State (Set v) ([v], DataDeclaration v a) Source #

inferDeclVariances :: (Var v, Show a) => Map Reference [Variance] -> Map Reference (DataDeclaration v a) -> Map Reference [Variance] Source #

fromTypeLookup :: (Var v, Show a) => TypeLookup v a -> Map Reference [Variance] Source #