Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 #
Safe Haskell | None |
---|---|
Language | Haskell2010 |
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 #