Safe Haskell | None |
---|---|
Language | Haskell2010 |
Continuation based control-flow
Synopsis
- fret :: forall x r t n xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, CheckMember x xs, n ~ IndexOf x xs, KnownNat n, CheckNub xs) => t -> x -> r
- fretN :: forall n x r t xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, x ~ Index n xs, KnownNat n) => t -> x -> r
- freturn :: forall x r t n xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, CheckMember x xs, n ~ IndexOf x xs, KnownNat n, CheckNub xs, ?__cs :: t) => x -> r
- freturnN :: forall n x r t xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, x ~ Index n xs, KnownNat n, ?__cs :: t) => x -> r
- frec :: forall r xs. (?__cs :: ContListToTuple xs r) => ContFlow xs r -> r
- fIf :: Bool -> ContFlow '[Then, Else] r
- data Then = Then
- data Else = Else
Documentation
fret :: forall x r t n xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, CheckMember x xs, n ~ IndexOf x xs, KnownNat n, CheckNub xs) => t -> x -> r Source #
Call the type-indexed continuation from the tuple passed as first parameter
fretN :: forall n x r t xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, x ~ Index n xs, KnownNat n) => t -> x -> r Source #
Call the indexed continuation from the tuple passed as first parameter
freturn :: forall x r t n xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, CheckMember x xs, n ~ IndexOf x xs, KnownNat n, CheckNub xs, ?__cs :: t) => x -> r Source #
Implicitly call the type-indexed continuation in the context
freturnN :: forall n x r t xs. (ExtractTuple n t (x -> r), xs ~ ContTupleToList t r, x ~ Index n xs, KnownNat n, ?__cs :: t) => x -> r Source #
Implicitly call the type-indexed continuation in the context
frec :: forall r xs. (?__cs :: ContListToTuple xs r) => ContFlow xs r -> r Source #
Recursive call