Stg.Prelude.Function

Documentation

seq :: Program

Finally I can define seq directly! :-)

Note that this function is less powerful than GHC's seq, since STG does not have a rule to force functions, only expressions that reduce to an algebraic or primitive value. This leads to the fact that STG's seq is less powerful than Haskell's, since in Haskell

seq (const ()) () = ()

whereas in the STG

constUnit = (x) -> Unit ();
seq (constUnit, Unit) = ERROR

id :: Program

Identity function.

id : a -> a

const :: Program

Constant function.

Const : a -> b -> a

compose :: Program

Function composition.

compose : (b -> c) -> (a -> b) -> a -> c

fix :: Program

The fixed point combinator.

fix : (a -> a) -> a