cubix-compdata
Copyright(c) 2020 James Koppel
LicenseBSD3
Safe HaskellSafe-Inferred
LanguageHaskell2010

Data.Comp.Multi.Kinds

Description

This module provides kind-synonyms for the common kinds in this package. All such kinds should be treated opaquely.

Documentation

type Sort = Type Source #

type Family = Sort -> Type Source #

type Node = Family -> Family Source #

type Fragment = Family -> Family Source #

type Signature = [Fragment] Source #