Safe Haskell | None |
---|
Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator
Documentation
translate :: Typ -> TypeExpressionSource
free-theorems-seq-1.0: Taming Selective Strictness
Safe Haskell | None |
---|
Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator
translate :: Typ -> TypeExpressionSource