Cgm.Data.Structured

Documentation

class Structured a where

Associated Types

type Structure a

Methods

structure :: a -> Structure a

fromStructure :: Structure a -> a

Instances

Structured Bool

Structured Ordering

Structured Word128

Structured Endianness

Structured [a0]

Structured (Maybe a0)

Structured (RevFun b0 a0)

Structured (Len u0 n0)

Structured (a0, b0, c0)

Structured (Kleisli m0 a0 b0)

Structured (Compose f0 g0 a0)

Structured (Sum a0 b0 e0)

Structured (a0, b0, c0, d0)

Structured (a0, b0, c0, d0, e0)

Structured (a0, b0, c0, d0, e0, f0)

struct :: Structured a => Bijection' a (Structure a)

wrap :: Structured a => Structure a -> a

unwrap :: Structured a => a -> Structure a

in1 :: (Structured a, Structured b) => (Structure a -> Structure b) -> a -> b

in2 :: (Structured a, Structured b, Structured c) => (Structure a -> Structure b -> Structure c) -> a -> b -> c

structureMap :: (InjectionACofunctor p, Structured a) => p (Structure a) -> p a

deriveStructured :: Name -> Q [Dec]

module Cgm.Control.InFunctor