Source
Contents
Index

syntactic-1.5.2: Generic abstract syntax, and utilities for embedded languages

Safe Haskell	None

Data.PolyProxy

Synopsis

data P a where
- P :: P a

Documentation

data P a whereSource

Kind-polymorphic proxy type

Constructors

P :: P a

Produced by Haddock version 2.12.0