send | Cleff.Internal.Monad, Cleff |
sendEnv | Cleff.Internal.Interpret |
SendSite | |
1 (Type/Class) | Cleff.Internal.Interpret |
2 (Data Constructor) | Cleff.Internal.Interpret |
sendSite | Cleff.Internal.Interpret |
singleton | Data.Rec |
sizeInvariant | Data.Rec |
State | |
1 (Type/Class) | Cleff.State |
2 (Data Constructor) | Cleff.State |
state | Cleff.State |
Subset | Data.Rec, Cleff.Internal.Monad, Cleff |
subsume | Cleff.Internal.Interpret, Cleff |
subsumeN | Cleff.Internal.Interpret, Cleff |