thorn-0.1.0.3: Datatype Manipulation with Template Haskell

Safe Haskell	None

Data.Thorn.FunctorExample

Documentation

type :<- a b = b -> aSource

nuf :: Char Source

varnuf :: [Variance]Source

data Cntr a Source

Constructors

Cntr (a -> Int)

Instances

Contravariant Cntr

tuple :: (Int, Int, Int)Source

vartuple :: [Variance]Source

data FunFun a b Source

Constructors

FunFun ((b -> a) -> b)

Instances

Profunctor FunFun

varfunfun :: [Variance]Source

data What a b c Source

Constructors

What1 c (a -> c)
What2 a

Instances

Bifunctor (What t0)
Profunctor (What t0)

varwhat :: [Variance]Source

data List a Source

Constructors

Nil
a :* (List a)

Instances

Functor List
Show a => Show (List a)

fromNormalList :: [a] -> List aSource

toNormalList :: List a -> [a]Source

list :: [Int]Source

varlist :: [Variance]Source

data Rose a Source

Constructors

Rose a (Forest a)

Instances

Functor Rose
Show a => Show (Rose a)

data Forest a Source

Constructors

Forest [Rose a]

Instances

Functor Forest
Show a => Show (Forest a)

gorose :: Int -> Rose Int Source

rose :: Rose Int Source

varrose :: [Variance]Source

varforest :: [Variance]Source