curry-frontend-1.0.4: Compile the functional logic language Curry to several intermediate formats

Copyright(c) 2016 Finn Teegen
LicenseBSD-3-clause
Maintainerbjp@informatik.uni-kiel.de
Stabilityexperimental
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Base.CurryKinds

Description

The functions tokind and fromKind convert Curry kind expressions into kinds and vice versa.

When Curry kinds are converted with fromKind, kind variables are instantiated with the kind *.

Documentation

toKind :: KindExpr -> Kind Source #

toKind' :: Maybe KindExpr -> Int -> Kind Source #

fromKind :: Kind -> KindExpr Source #

fromKind' :: Kind -> Int -> Maybe KindExpr Source #

ppKind :: Kind -> Doc Source #