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

Metas

Documentation

class Metas a where Source #

Methods

metas :: a -> [Text] Source #

bare :: [Text] -> a -> a Source #

Instances

Instances details
Metas Alpha Source # 
Instance details

Defined in Metas

Methods

metas :: Alpha -> [Text] Source #

bare :: [Text] -> Alpha -> Alpha Source #

Metas Argument Source # 
Instance details

Defined in Metas

Metas Attribute Source # 
Instance details

Defined in Metas

Metas Binding Source # 
Instance details

Defined in Metas

Methods

metas :: Binding -> [Text] Source #

bare :: [Text] -> Binding -> Binding Source #

Metas Bytes Source # 
Instance details

Defined in Metas

Methods

metas :: Bytes -> [Text] Source #

bare :: [Text] -> Bytes -> Bytes Source #

Metas Expression Source # 
Instance details

Defined in Metas

Metas Function Source # 
Instance details

Defined in Metas

Metas Slot Source # 
Instance details

Defined in Metas

Methods

metas :: Slot -> [Text] Source #

bare :: [Text] -> Slot -> Slot Source #

Metas Comparable Source # 
Instance details

Defined in Yaml

Metas Condition Source # 
Instance details

Defined in Yaml

Metas ContextualizeRule Source # 
Instance details

Defined in Yaml

Metas DataizeRule Source # 
Instance details

Defined in Yaml

Metas Extra Source # 
Instance details

Defined in Yaml

Methods

metas :: Extra -> [Text] Source #

bare :: [Text] -> Extra -> Extra Source #

Metas ExtraArgument Source # 
Instance details

Defined in Yaml

Metas MorphRule Source # 
Instance details

Defined in Yaml

Metas Number Source # 
Instance details

Defined in Yaml

Methods

metas :: Number -> [Text] Source #

bare :: [Text] -> Number -> Number Source #

Metas Operation Source # 
Instance details

Defined in Yaml

Metas Premise Source # 
Instance details

Defined in Yaml

Methods

metas :: Premise -> [Text] Source #

bare :: [Text] -> Premise -> Premise Source #

Metas Rule Source # 
Instance details

Defined in Yaml

Methods

metas :: Rule -> [Text] Source #

bare :: [Text] -> Rule -> Rule Source #

Metas Text Source # 
Instance details

Defined in Metas

Methods

metas :: Text -> [Text] Source #

bare :: [Text] -> Text -> Text Source #

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

Defined in Metas

Methods

metas :: Maybe a -> [Text] Source #

bare :: [Text] -> Maybe a -> Maybe a Source #

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

Defined in Metas

Methods

metas :: [a] -> [Text] Source #

bare :: [Text] -> [a] -> [a] Source #

lonely :: Metas a => a -> a Source #