Data.Thorn.Basic

The module Data.Thorn.Basic.

Type Variants

These types T0, ..., T9 are used for representing type variants.

 testtypevariant :: (String,Int,Int)
 testtypevariant = $(autofmap $[t|(,,) T0|]) (+10) (+20) ("hello",1,1) -- ("hello",11,21)

data T0

data T1

data T2

data T3

data T4

data T5

data T6

data T7

data T8

data T9

Names

modifyname :: (String, String) -> (String, String) -> String -> String

 modifyname ("Prefix","Suffix") ("***","+++") "Hello" == "PrefixHelloSuffix"
 modifyname ("Prefix","Suffix") ("***","+++") ":%%%" == ":***%%%+++"
 modifyname ("prefix","suffix") ("***","+++") "hello" == "prefixhellosuffix"
 modifyname ("prefix","suffix") ("***","+++") "%%%" == "***%%%+++"