DDC.Core.Exp.Generic.BindStruct

Documentation

Orphan instances

((~) * (GBind l) (Bind l), (~) * (GBound l) (Bound l)) => BindStruct (GWitness l) l

Methods

slurpBindTree :: GWitness l -> [BindTree l]

((~) * (GBind l) (Bind l), (~) * (GBound l) (Bound l)) => BindStruct (GCast l) l

Methods

slurpBindTree :: GCast l -> [BindTree l]

((~) * (GBind l) (Bind l), (~) * (GBound l) (Bound l)) => BindStruct (GAlt l) l

Methods

slurpBindTree :: GAlt l -> [BindTree l]

((~) * (GBind l) (Bind l), (~) * (GBound l) (Bound l)) => BindStruct (GArg l) l

Methods

slurpBindTree :: GArg l -> [BindTree l]

((~) * (GBind l) (Bind l), (~) * (GBound l) (Bound l)) => BindStruct (GExp l) l

Methods

slurpBindTree :: GExp l -> [BindTree l]