Hydra.Inference.AlgorithmW

Documentation

natType :: MTy

constNeg :: Expr

constPred :: Expr

constSucc :: Expr

nat :: Int -> Expr

str :: String -> Expr

data TypedPrimitive

Constructors

TypedPrimitive Name TypSch

Instances

Eq TypedPrimitive

Defined in Hydra.Inference.AlgorithmW

Methods

(==) :: TypedPrimitive -> TypedPrimitive -> Bool

(/=) :: TypedPrimitive -> TypedPrimitive -> Bool

type Var = String

data Prim

Constructors

Lit Literal

TypedPrim TypedPrimitive

If0

Fst

Snd

Pair

TT

Nil

Cons

FoldList

FF

Inl

Inr

Case

Con Var

Fold Var

Instances

Show Prim

Defined in Hydra.Inference.AlgorithmW

Methods

showsPrec :: Int -> Prim -> ShowS

show :: Prim -> String

showList :: [Prim] -> ShowS

Eq Prim

Defined in Hydra.Inference.AlgorithmW

Methods

(==) :: Prim -> Prim -> Bool

(/=) :: Prim -> Prim -> Bool

data Expr

Constructors

Const Prim

Var Var

Tuple [Expr]

Proj Int Int Expr

Inj Int Int Expr

Case' Expr [Expr]

App Expr Expr

Abs Var Expr

Letrec [(Var, Expr)] Expr

Instances

Show Expr

Defined in Hydra.Inference.AlgorithmW

Methods

showsPrec :: Int -> Expr -> ShowS

show :: Expr -> String

showList :: [Expr] -> ShowS

Eq Expr

Defined in Hydra.Inference.AlgorithmW

Methods

(==) :: Expr -> Expr -> Bool

(/=) :: Expr -> Expr -> Bool

data MTy

Constructors

TyVar Var

TyLit LiteralType

TyList MTy

TyFn MTy MTy

TyProd MTy MTy

TySum MTy MTy

TyUnit

TyVoid

TyTuple [MTy]

TyVariant [MTy]

TyCon Var [MTy]

Instances

Show MTy

Defined in Hydra.Inference.AlgorithmW

Methods

showsPrec :: Int -> MTy -> ShowS

show :: MTy -> String

showList :: [MTy] -> ShowS

Eq MTy

Defined in Hydra.Inference.AlgorithmW

Methods

(==) :: MTy -> MTy -> Bool

(/=) :: MTy -> MTy -> Bool

Substable MTy

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> MTy -> MTy

Vars MTy

Defined in Hydra.Inference.AlgorithmW

Methods

vars :: MTy -> [Var]

data TypSch

Constructors

Forall [Var] MTy

Instances

Show Ctx

Defined in Hydra.Inference.AlgorithmW

Methods

showsPrec :: Int -> Ctx -> ShowS

show :: Ctx -> String

showList :: [Ctx] -> ShowS

Show TypSch

Defined in Hydra.Inference.AlgorithmW

Methods

showsPrec :: Int -> TypSch -> ShowS

show :: TypSch -> String

showList :: [TypSch] -> ShowS

Eq TypSch

Defined in Hydra.Inference.AlgorithmW

Methods

(==) :: TypSch -> TypSch -> Bool

(/=) :: TypSch -> TypSch -> Bool

Substable Ctx

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> Ctx -> Ctx

Substable TypSch

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> TypSch -> TypSch

Vars Ctx

Defined in Hydra.Inference.AlgorithmW

Methods

vars :: Ctx -> [Var]

Vars TypSch

Defined in Hydra.Inference.AlgorithmW

Methods

vars :: TypSch -> [Var]

type ADTs = [(Var, [Var], [(Var, [MTy])])]

data FExpr

Constructors

FConst Prim

FVar Var

FTuple [FExpr]

FProj Int FExpr

FInj Int [FTy] FExpr

FCase FExpr FTy [FExpr]

FApp FExpr FExpr

FAbs Var FTy FExpr

FTyApp FExpr [FTy]

FTyAbs [Var] FExpr

FLetrec [(Var, FTy, FExpr)] FExpr

Instances

Show FExpr

Defined in Hydra.Inference.AlgorithmW

Methods

showsPrec :: Int -> FExpr -> ShowS

show :: FExpr -> String

showList :: [FExpr] -> ShowS

Eq FExpr

Defined in Hydra.Inference.AlgorithmW

Methods

(==) :: FExpr -> FExpr -> Bool

(/=) :: FExpr -> FExpr -> Bool

Substable FExpr

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> FExpr -> FExpr

data FTy

Constructors

FTyVar Var

FTyLit LiteralType

FTyList FTy

FTyFn FTy FTy

FTyProd FTy FTy

FTySum FTy FTy

FTyUnit

FTyVoid

FTyTuple [FTy]

FTyVariant [FTy]

FTyCon Var [FTy]

FForall [Var] FTy

Instances

Show FTy

Defined in Hydra.Inference.AlgorithmW

Methods

showsPrec :: Int -> FTy -> ShowS

show :: FTy -> String

showList :: [FTy] -> ShowS

Eq FTy

Defined in Hydra.Inference.AlgorithmW

Methods

(==) :: FTy -> FTy -> Bool

(/=) :: FTy -> FTy -> Bool

Substable FTy

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> FTy -> FTy

mTyToFTy :: MTy -> FTy

tyToFTy :: TypSch -> FTy

type Ctx = [(Var, TypSch)]

class Vars a where

Methods

vars :: a -> [Var]

Instances

Vars Ctx

Defined in Hydra.Inference.AlgorithmW

Methods

vars :: Ctx -> [Var]

Vars MTy

Defined in Hydra.Inference.AlgorithmW

Methods

vars :: MTy -> [Var]

Vars TypSch

Defined in Hydra.Inference.AlgorithmW

Methods

vars :: TypSch -> [Var]

replaceTCon :: MTy -> MTy -> MTy -> MTy

primTy :: ADTs -> Prim -> Either String TypSch

type Subst = [(Var, MTy)]

idSubst :: Subst

o :: Subst -> Subst -> Subst

class Substable a where

Methods

subst :: Subst -> a -> a

Instances

Substable Ctx

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> Ctx -> Ctx

Substable FExpr

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> FExpr -> FExpr

Substable FTy

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> FTy -> FTy

Substable MTy

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> MTy -> MTy

Substable TypSch

Defined in Hydra.Inference.AlgorithmW

Methods

subst :: Subst -> TypSch -> TypSch

subst' :: [(Var, FTy)] -> FTy -> FTy

open :: [Var] -> [FTy] -> FTy -> Either String FTy

typeOf :: ADTs -> [Var] -> [(Var, FTy)] -> FExpr -> Either String FTy

mgu :: MTy -> MTy -> E Subst

mgu' :: [MTy] -> [MTy] -> E Subst

occurs :: Var -> MTy -> E ()

type E = ExceptT String (State ([String], Integer))

type M a = E (Subst, a)

log0 :: Int -> String -> E ()

fresh :: E MTy

inst :: TypSch -> E (MTy, [MTy])

gen :: Ctx -> MTy -> (TypSch, [Var])

fTyApp :: FExpr -> [FTy] -> FExpr

fTyAbs :: [Var] -> FExpr -> FExpr

replace :: (Num a, Ord a) => [b] -> (a, b) -> [b]

checkAgainstF :: ADTs -> Ctx -> MTy -> FExpr -> E ()

w :: Int -> ADTs -> Ctx -> Expr -> M (MTy, FExpr)

subst'' :: [(Var, FExpr)] -> FExpr -> FExpr

theAdts :: [(String, [String], [(String, [MTy])])]

theAdtsJosh :: [(String, [a], [(String, [MTy])])]

testJoshAdt :: Expr

testJoshAdt' :: Expr

tests :: [Expr]

testk :: Expr

testJ :: Expr

testAdt :: Expr

testOne :: Expr -> IO ()

main :: IO [()]

letrec' :: Var -> Expr -> Expr -> Expr

testVariant :: Expr

testVariant2 :: Expr

testTuple2 :: Expr

testTuple :: Expr

testA :: Expr

test0 :: Expr

testB :: Expr

test1 :: Expr

test2 :: Expr

testC :: Expr

test3 :: Expr

test3a :: Expr

test4 :: Expr

test5 :: Expr

test6 :: Expr

(@@) :: Expr -> Expr -> Expr

zero :: Expr

test_j_o_haskell :: a -> a -> [([a], [a])]

test_j_0 :: Expr

test_j_0' :: Expr