Agda.Syntax.Strict

Documentation

class Strict a where

Methods

force :: a -> Int

Instances

Strict Pragma

Strict Declaration

Strict Expr

Strict ClauseBody

Strict Sort

Strict Type

Strict Term

Strict NiceDeclaration

Strict Token

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