concat-plugin-0.3.0.0: GHC plugin for compiling to categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

ConCat.OkType

Description

Determine whether the plugin can handle a type. Used in ConCat.Plugin.

Documentation

class OkType t Source #

Instances

Instances details
OkType Integer Source # 
Instance details

Defined in ConCat.OkType

OkType () Source # 
Instance details

Defined in ConCat.OkType

OkType Bool Source # 
Instance details

Defined in ConCat.OkType

OkType Double Source # 
Instance details

Defined in ConCat.OkType

OkType Float Source # 
Instance details

Defined in ConCat.OkType

OkType Int Source # 
Instance details

Defined in ConCat.OkType

(HasRep t, OkType (Rep t)) => OkType t Source # 
Instance details

Defined in ConCat.OkType

KnownNat n => OkType (Finite n) Source # 
Instance details

Defined in ConCat.OkType

(KnownNat n, OkType a) => OkType (Vector n a) Source # 
Instance details

Defined in ConCat.OkType

(OkType a, OkType b) => OkType (a -> b) Source # 
Instance details

Defined in ConCat.OkType

(OkType a, OkType b) => OkType (a, b) Source # 
Instance details

Defined in ConCat.OkType