phino-0.0.0: Command-Line Manipulator of 𝜑-Calculus Expressions
Safe HaskellSafe-Inferred
LanguageHaskell2010

Slots

Documentation

class Slots a where Source #

Methods

slots :: a -> [Slot] Source #

Instances

Instances details
Slots Alpha Source # 
Instance details

Defined in Slots

Methods

slots :: Alpha -> [Slot] Source #

Slots Argument Source # 
Instance details

Defined in Slots

Methods

slots :: Argument -> [Slot] Source #

Slots Attribute Source # 
Instance details

Defined in Slots

Methods

slots :: Attribute -> [Slot] Source #

Slots Binding Source # 
Instance details

Defined in Slots

Methods

slots :: Binding -> [Slot] Source #

Slots Bytes Source # 
Instance details

Defined in Slots

Methods

slots :: Bytes -> [Slot] Source #

Slots Expression Source # 
Instance details

Defined in Slots

Methods

slots :: Expression -> [Slot] Source #

Slots Function Source # 
Instance details

Defined in Slots

Methods

slots :: Function -> [Slot] Source #

Slots Comparable Source # 
Instance details

Defined in Yaml

Methods

slots :: Comparable -> [Slot] Source #

Slots Condition Source # 
Instance details

Defined in Yaml

Methods

slots :: Condition -> [Slot] Source #

Slots Extra Source # 
Instance details

Defined in Yaml

Methods

slots :: Extra -> [Slot] Source #

Slots ExtraArgument Source # 
Instance details

Defined in Yaml

Slots Number Source # 
Instance details

Defined in Yaml

Methods

slots :: Number -> [Slot] Source #

Slots Operation Source # 
Instance details

Defined in Yaml

Methods

slots :: Operation -> [Slot] Source #

Slots Premise Source # 
Instance details

Defined in Yaml

Methods

slots :: Premise -> [Slot] Source #

Slots a => Slots (Maybe a) Source # 
Instance details

Defined in Slots

Methods

slots :: Maybe a -> [Slot] Source #

Slots a => Slots [a] Source # 
Instance details

Defined in Slots

Methods

slots :: [a] -> [Slot] Source #