Accessors

Documentation

class Lookup a where

Things which you can make a tree of labeled getters for. You should derive this using GHC.Generics.

Methods

toAccessorTree :: Lens' b a -> AccessorTree b

toAccessorTree :: (Generic a, GLookup (Rep a)) => Lens' b a -> AccessorTree b

type AccessorTree a = Either (GAField a) (GAData a)

data GAData a

Constructors

GAData String (GAConstructor a)

Instances

Show (GAData a)

Methods

showsPrec :: Int -> GAData a -> ShowS

show :: GAData a -> String

showList :: [GAData a] -> ShowS

data GAConstructor a

Constructors

GAConstructor String [(Maybe String, AccessorTree a)]

GASum (GASimpleEnum a)

data GASimpleEnum a

Constructors

GASimpleEnum

Fields

• eConstructors :: [String]
• eToString :: a -> String
• eToIndex :: a -> Int
• eFromString :: a -> String -> Either String a
• eFromIndex :: a -> Int -> Either String a

data GAField a

Constructors

FieldDouble (Lens' a Double)

FieldFloat (Lens' a Float)

FieldInt (Lens' a Int)

FieldString (Lens' a String)

FieldSorry

a field which is not yet supported

data GATip a

Constructors

GATipSimpleEnum (GASimpleEnum a)

GATipField (GAField a)

accessors :: Lookup a => AccessorTree a

describeGAField :: GAField a -> String

Return the type of field, such as Bool, Double, String, etc.

sameFieldType :: GAField a -> GAField b -> Bool

Returns True if the type of fields is the same.

flatten :: AccessorTree a -> [(String, GATip a)]

flatten' :: AccessorTree a -> [([Maybe String], GATip a)]

showTree :: AccessorTree a -> (Double -> String) -> a -> String

Show a tree of values

showFlat :: forall a. AccessorTree a -> Bool -> (Double -> String) -> a -> String

Show a list of values . True --> align the colums, False --> total mayhem

class GLookup f where

Minimal complete definition

gtoAccessorTree

Methods

gtoAccessorTree :: Lens' b (f a) -> AccessorTree b

Instances

Lookup f => GLookup (Rec0 * f)

Methods

gtoAccessorTree :: Lens' b (Rec0 * f a) -> AccessorTree b

(Datatype Meta d, Constructor Meta c, GLookupS a) => GLookup (D1 * d (C1 * c a))

Methods

gtoAccessorTree :: Lens' b (D1 * d (C1 * c a) a) -> AccessorTree b

(Datatype Meta d, GEnum ((:+:) * c1 c2)) => GLookup (D1 * d ((:+:) * c1 c2))

Methods

gtoAccessorTree :: Lens' b (D1 * d ((* :+: c1) c2) a) -> AccessorTree b