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

Safe HaskellNone
LanguageHaskell2010

Data.PolyProxy

Synopsis
  • data P a where

Documentation

data P a where Source #

Kind-polymorphic proxy type

Constructors

P :: P a