Lorentz.Ext

Documentation

stackRef :: forall (gn :: Nat) st n. (n ~ ToPeano gn, SingI n, KnownPeano n, RequireLongerThan st n) => PrintComment st

printComment :: PrintComment (ToTs s) -> s :-> s

testAssert :: Typeable (ToTs out) => Text -> PrintComment (ToTs inp) -> (inp :-> (Bool & out)) -> inp :-> inp

stackType :: forall s. s :-> s