Copyright	(c) 2005, Amr Sabry, Chung-chieh Shan, Oleg Kiselyov and Daniel P. Friedman
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	experimental
Portability	non-portable (RankNTypes)
Safe Haskell	Safe-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