idris-0.12.3: 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 -> Term -> Term Source #

Reduce a *closed* term to weak head normal form.

data WEnv Source #

Instances

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