idris-1.0: Functional Programming Language with Dependent Types

Copyright	License : BSD3
Maintainer	The Idris Community.
Safe Haskell	None
Language	Haskell98

Idris.Core.WHNF

Description

Synopsis

Documentation

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

Show WEnv Source #
Methods showsPrec :: Int -> WEnv -> ShowS # show :: WEnv -> String # showList :: [WEnv] -> ShowS #