idris-1.1.1: Functional Programming Language with Dependent Types
Idris.Core.WHNF
Description
Synopsis
whnf :: Context -> Env -> Term -> Term Source #
Reduce a term to weak head normal form.
whnfArgs :: Context -> Env -> Term -> Term Source #
Reduce a type so that all arguments are expanded
data WEnv Source #
Instances
Methods
showsPrec :: Int -> WEnv -> ShowS #
show :: WEnv -> String #
showList :: [WEnv] -> ShowS #