Hets - the Heterogeneous Tool Set

Copyright(c) 2005, Amr Sabry, Chung-chieh Shan, Oleg Kiselyov and Daniel P. Friedman
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityexperimental
Portabilitynon-portable (RankNTypes)
Safe HaskellSafe-Inferred

Common.SFKT

Description

Implementation of LogicT based on the two-continuation model of streams

Documentation

data SFKT m a

Instances

runM :: Monad m => Maybe Int -> SFKT m a -> m [a]

observe :: Monad m => SFKT m a -> m a