clr-typed-0.2.0: A strongly typed Haskell interface to the CLR type system

Safe HaskellNone
LanguageHaskell2010

Clr.TypeString

Documentation

class TString t where Source #

Minimal complete definition

tString

Methods

tString :: forall t. String Source #

Instances

TString * () Source # 
TString [k] ([] k) Source # 
(KnownSymbol name, TString [Type] gt) => TString * (T name gt) Source # 
(TString a x, TStrings [a] xs, KnownNat ((+) 1 (ListSize [a] xs))) => TString [a] ((:) a x xs) Source # 

class TStrings ts where Source #

Minimal complete definition

tStrings

Methods

tStrings :: forall gt'. [String] Source #

Instances

TStrings [k] ([] k) Source # 

Methods

tStrings :: [String] Source #

(TString a x, TStrings [a] xs) => TStrings [a] ((:) a x xs) Source # 

Methods

tStrings :: [String] Source #

tStringGet :: forall t. TString t => String Source #

tStringSet :: forall t. TString t => String Source #