Potato.Flow.Cmd

Documentation

data PFCmdTag a where

Constructors

PFCNewElts :: PFCmdTag [SuperSEltLabel]

PFCDeleteElts :: PFCmdTag [SuperSEltLabel]

PFCMove :: PFCmdTag ([LayerPos], LayerPos)

PFCManipulate :: PFCmdTag ControllersWithId

PFCResizeCanvas :: PFCmdTag DeltaLBox

Instances

NFData PFCmd

Defined in Potato.Flow.Cmd

Methods

rnf :: PFCmd -> ()

GCompare PFCmdTag

Defined in Potato.Flow.Cmd

Methods

gcompare :: forall (a :: k) (b :: k). PFCmdTag a -> PFCmdTag b -> GOrdering a b

GEq PFCmdTag

Defined in Potato.Flow.Cmd

Methods

geq :: forall (a :: k) (b :: k). PFCmdTag a -> PFCmdTag b -> Maybe (a :~: b)

GShow PFCmdTag

Defined in Potato.Flow.Cmd

Methods

gshowsPrec :: forall (a :: k). Int -> PFCmdTag a -> ShowS

(c [SuperSEltLabel], c [SuperSEltLabel], c ([LayerPos], LayerPos), c ControllersWithId, c DeltaLBox) => Has (c :: Type -> Constraint) PFCmdTag

Defined in Potato.Flow.Cmd

Methods

has :: forall (a :: k) r. PFCmdTag a -> (c a => r) -> r

argDict :: forall (a :: k). PFCmdTag a -> Dict (c a)

Show (PFCmdTag a)

Defined in Potato.Flow.Cmd

Methods

showsPrec :: Int -> PFCmdTag a -> ShowS

show :: PFCmdTag a -> String

showList :: [PFCmdTag a] -> ShowS

type PFCmd = DSum PFCmdTag Identity