| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Lorentz.Ext
Documentation
stackRef :: forall (gn :: Nat) st n. (n ~ ToPeano gn, SingI n, KnownPeano n, RequireLongerThan st n) => PrintComment st Source #
printComment :: PrintComment (ToTs s) -> s :-> s Source #
testAssert :: (Typeable (ToTs out), HasCallStack) => Text -> PrintComment (ToTs inp) -> (inp :-> (Bool & out)) -> inp :-> inp Source #