Documentation

resolveAST :: AST' Text -> AST Source #

resolveAST' :: Nat -> [Name] -> AST' Text -> AST Source #

makeName :: SomeVariable ('KProxy :: KProxy Hakaru) -> Name Source #

fromVarSet :: VarSet ('KProxy :: KProxy Hakaru) -> [Name] Source #