Safe Haskell | None |
---|---|
Language | Haskell2010 |
Beta-reduction of Term
s.
Synopsis
- betaTerm :: forall src ss ts vs fun arg. SourceInj (TypeVT src) src => Constable (->) => Term src ss ts vs (fun :: Type) -> Term src ss ts vs (arg :: Type) -> Either (Error_Beta src) (TermT src ss ts vs)
- betaTerms :: SourceInj (TypeVT src) src => Constable (->) => BinTree (TermVT src ss ts) -> Either (Error_Beta src) (TermVT src ss ts)
- data Error_Beta src
- = Error_Beta_Term_not_a_function (TypeVT src)
- | Error_Beta_Type_mismatch (TypeVT src) (TypeVT src)
- | Error_Beta_Unify (Error_Unify src)
Documentation
betaTerm :: forall src ss ts vs fun arg. SourceInj (TypeVT src) src => Constable (->) => Term src ss ts vs (fun :: Type) -> Term src ss ts vs (arg :: Type) -> Either (Error_Beta src) (TermT src ss ts vs) Source #
betaTerms :: SourceInj (TypeVT src) src => Constable (->) => BinTree (TermVT src ss ts) -> Either (Error_Beta src) (TermVT src ss ts) Source #
Type Error_Beta
data Error_Beta src Source #
Error_Beta_Term_not_a_function (TypeVT src) | |
Error_Beta_Type_mismatch (TypeVT src) (TypeVT src) | |
Error_Beta_Unify (Error_Unify src) | Cannot unify the expected |
Instances
Source src => Eq (Error_Beta src) Source # | |
Defined in Language.Symantic.Compiling.Beta (==) :: Error_Beta src -> Error_Beta src -> Bool # (/=) :: Error_Beta src -> Error_Beta src -> Bool # | |
Source src => Show (Error_Beta src) Source # | |
Defined in Language.Symantic.Compiling.Beta showsPrec :: Int -> Error_Beta src -> ShowS # show :: Error_Beta src -> String # showList :: [Error_Beta src] -> ShowS # | |
ErrorInj (Error_Unify src) (Error_Beta src) Source # | |
Defined in Language.Symantic.Compiling.Beta errorInj :: Error_Unify src -> Error_Beta src # | |
ErrorInj (Error_Beta src) (Error_Beta src) Source # | |
Defined in Language.Symantic.Compiling.Beta errorInj :: Error_Beta src -> Error_Beta src # | |
ErrorInj (Error_Beta src) (Error_Term src) Source # | |
Defined in Language.Symantic.Compiling.Read errorInj :: Error_Beta src -> Error_Term src # |