Glazier.Class

Documentation

type family Implanted m :: * -> *

Modify the state given a lens, prism or traversal. NB. This is Zoom for Notify.

Instances

type Implanted (Window m s v)

type Implanted (Window m s v) = Effect m v

type Implanted (Gadget s m a c)

type Implanted (Gadget s m a c) = Zoomed (Gadget s m a) c

type Implanted (Gadget s m a c)

type Implanted (Gadget s m a c) = Zoomed (Gadget s m a) c

type Implanted (Widget s v m a c)

type Implanted (Widget s v m a c)

type Implanted (Widget s v m a c)

type Implanted (Widget s v m a c)

class Implant m n s t | m -> s, n -> t, m t -> n, n s -> m where

Minimal complete definition

implant

Methods

implant :: LensLike' (Implanted m) t s -> m -> n

Instances

Monad m => Implant (Window m s v) (Window m t v) s t

Methods

implant :: LensLike' (Implanted (Window m s v)) t s -> Window m s v -> Window m t v

Monad m => Implant (Gadget s m a c) (Gadget t m a c) s t

Methods

implant :: LensLike' (Implanted (Gadget s m a c)) t s -> Gadget s m a c -> Gadget t m a c

Monad m => Implant (Gadget s m a c) (Gadget t m a c) s t

Methods

implant :: LensLike' (Implanted (Gadget s m a c)) t s -> Gadget s m a c -> Gadget t m a c

Monad m => Implant (Widget s v m a c) (Widget t v m a c) s t

Methods

implant :: LensLike' (Implanted (Widget s v m a c)) t s -> Widget s v m a c -> Widget t v m a c

Monad m => Implant (Widget s v m a c) (Widget t v m a c) s t

Methods

implant :: LensLike' (Implanted (Widget s v m a c)) t s -> Widget s v m a c -> Widget t v m a c

type family Dispatched m :: * -> *

Instances

type Dispatched (Gadget s m a c)

type Dispatched (Gadget s m a c) = Magnified (Gadget s m a) c

type Dispatched (Gadget s m a c)

type Dispatched (Gadget s m a c) = Magnified (Gadget s m a) c

type Dispatched (Widget s v m a c)

type Dispatched (Widget s v m a c) = Dispatched (Gadget s m a c)

type Dispatched (Widget s v m a c)

type Dispatched (Widget s v m a c) = Dispatched (Gadget s m a c)

class Dispatch m n b a | m -> b, n -> a, m a -> n, n b -> m where

Changes the action type given a lens, prism or traversal

Minimal complete definition

dispatch

Methods

dispatch :: LensLike' (Dispatched m) a b -> m -> n

Instances

Monad m => Dispatch (Gadget s m a c) (Gadget s m b c) a b

Methods

dispatch :: LensLike' (Dispatched (Gadget s m a c)) b a -> Gadget s m a c -> Gadget s m b c

Monad m => Dispatch (Gadget s m a c) (Gadget s m b c) a b

Methods

dispatch :: LensLike' (Dispatched (Gadget s m a c)) b a -> Gadget s m a c -> Gadget s m b c

Monad m => Dispatch (Widget s v m a c) (Widget s v m b c) a b

Methods

dispatch :: LensLike' (Dispatched (Widget s v m a c)) b a -> Widget s v m a c -> Widget s v m b c

Monad m => Dispatch (Widget s v m a c) (Widget s v m b c) a b

Methods

dispatch :: LensLike' (Dispatched (Widget s v m a c)) b a -> Widget s v m a c -> Widget s v m b c