Agda.Compiler.HaskellTypes

type HaskellKind

hsStar

hsKFun

hsFun

hsUnit

hsVar

hsApp

hsForall

notAHaskellKind

notAHaskellType

getHsType

getHsVar

isHaskellKind

haskellKind

haskellType