Safe Haskell | None |
---|---|

Language | Haskell2010 |

# Documentation

An effect for spliting a nondeterministic computation into its head and tail.

** Split is typically used as a primitive effect.**
If you define a

`Carrier`

that relies on a novel
non-trivial monad transformer, then you need to make
a `ThreadsEff`

instance for that monad transformer
to lift `Split`

(if possible).The following threading constraints accept `Split`

: