Documentation

newtype NormalLoop m Source #

normalFormBy :: forall e m. (Framed e m, MonadVar m, Typeable m) => (forall r. NThunk m -> (NValue m -> m r) -> m r) -> Int -> NValue m -> m (NValueNF m) Source #

normalForm :: (Framed e m, MonadVar m, Typeable m, MonadThunk (NValue m) (NThunk m) m) => NValue m -> m (NValueNF m) Source #

embed :: forall m. MonadThunk (NValue m) (NThunk m) m => NValueNF m -> m (NValue m) Source #

valueText :: forall e m. (Framed e m, MonadEffects m, Typeable m) => Bool -> NValueNF m -> m (Text, DList Text) Source #

valueTextNoContext :: (Framed e m, MonadEffects m, Typeable m) => Bool -> NValueNF m -> m Text Source #