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

Sugar

Documentation

toSalty :: ToSalty a => a -> a Source #

withSugarType :: ToSalty a => SugarType -> a -> a Source #

withoutRho :: SugarType -> EXPRESSION -> EXPRESSION Source #

revealXi :: SugarType -> EXPRESSION -> EXPRESSION Source #

data SugarType Source #

Constructors

SWEET 
SALTY 

Instances

Instances details
Show SugarType Source # 
Instance details

Defined in Sugar

Methods

showsPrec :: Int -> SugarType -> ShowS #

show :: SugarType -> String #

showList :: [SugarType] -> ShowS #

Eq SugarType Source # 
Instance details

Defined in Sugar

Methods

(==) :: SugarType -> SugarType -> Bool #

(/=) :: SugarType -> SugarType -> Bool #

class ToSalty a Source #

Minimal complete definition

toSalty

Instances

Instances details
ToSalty APP_BINDING Source # 
Instance details

Defined in Sugar

Methods

toSalty :: APP_BINDING -> APP_BINDING Source #

ToSalty BINDING Source # 
Instance details

Defined in Sugar

Methods

toSalty :: BINDING -> BINDING Source #

ToSalty BINDINGS Source # 
Instance details

Defined in Sugar

Methods

toSalty :: BINDINGS -> BINDINGS Source #

ToSalty COMPARABLE Source # 
Instance details

Defined in Sugar

Methods

toSalty :: COMPARABLE -> COMPARABLE Source #

ToSalty CONDITION Source # 
Instance details

Defined in Sugar

Methods

toSalty :: CONDITION -> CONDITION Source #

ToSalty EXPRESSION Source # 
Instance details

Defined in Sugar

Methods

toSalty :: EXPRESSION -> EXPRESSION Source #

ToSalty EXTRA Source # 
Instance details

Defined in Sugar

Methods

toSalty :: EXTRA -> EXTRA Source #

ToSalty EXTRA_ARG Source # 
Instance details

Defined in Sugar

Methods

toSalty :: EXTRA_ARG -> EXTRA_ARG Source #

ToSalty NUMBER Source # 
Instance details

Defined in Sugar

Methods

toSalty :: NUMBER -> NUMBER Source #

ToSalty PAIR Source # 
Instance details

Defined in Sugar

Methods

toSalty :: PAIR -> PAIR Source #

ToSalty SET Source # 
Instance details

Defined in Sugar

Methods

toSalty :: SET -> SET Source #