Agda-2.2.10: A dependently typed functional programming language and proof assistant

Agda.Syntax.Strict

Synopsis

- class Strict a where
  - force :: a -> Int
- ($!!) :: Strict a => (a -> b) -> a -> b
- strict :: Strict a => a -> a

# Documentation

class Strict a where

`force` is the recursive `const 0` function, to force Haskell to evaluate.

Methods

force :: a -> Int

Instances

Strict Pragma |
Strict Declaration |
Strict Expr |
Strict ClauseBody |
Strict Sort |
Strict Type |
Strict Term |
Strict Token |
Strict NiceDeclaration |
Strict a => Strict [a] |
Strict a => Strict (Arg a) |
Strict a => Strict (Abs a) |
(Strict a, Strict b) => Strict (a, b) |

($!!) :: Strict a => (a -> b) -> a -> b

strict :: Strict a => a -> a