plutus-tx-plugin-1.30.0.0: The Plutus Tx compiler and GHC plugin
Safe HaskellSafe-Inferred
LanguageHaskell2010

PlutusTx.Compiler.Kind

Description

Functions for compiling GHC kinds into PlutusCore kinds.

Documentation

compileKindCompiling uni fun m ann ⇒ Kind → m (Kind ()) Source #