[Haskell-cafe] ANN: data-category, restricted categories
ekmett at gmail.com
Fri Mar 26 11:07:55 EDT 2010
On Fri, Mar 26, 2010 at 11:04 AM, Edward Kmett <ekmett at gmail.com> wrote:
> -- as long as you're ignoring 'seq'
> terminateSeq :: a -> Unit
> terminateSeq a = a `seq` unit
Er ignore that language about seq. a `seq` unit is either another bottom or
undefined, so there remains one canonical morphism even in the presence of
seq (ignoring unsafePerformIO) =)
> -- discounting the extraneous
> terminateUnitSeq a = a `seq` undefined
-- and here I should have said.
terminateUnitSeq a = a `seq` ()
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe