Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- showExpressionList :: ExpressionList -> Text
- readExpressionList :: Text -> ExpressionList
- stringToExpressionList :: String -> ExpressionList
- charToExpressionList :: Char -> ExpressionList
- charToExpression :: Char -> Expression
- charToExpressionSafe :: MonadSafe m => Char -> m Expression
- type ExpressionDList = DList Expression
- type ExpressionList = [Expression]
- data Expression
- = Zero
- | One
- | Expression (Expression -> Out Expression)
- type Out = Writer ExpressionDList
Documentation
charToExpression :: Char -> Expression #
charToExpressionSafe :: MonadSafe m => Char -> m Expression #
type ExpressionDList = DList Expression #
Types
type ExpressionList = [Expression] #
data Expression #
Zero | |
One | |
Expression (Expression -> Out Expression) |
Instances
Read Expression # | |
Defined in HelVM.HelMA.Automata.Zot.Expression readsPrec :: Int -> ReadS Expression # readList :: ReadS [Expression] # readPrec :: ReadPrec Expression # readListPrec :: ReadPrec [Expression] # | |
Show Expression # | |
Defined in HelVM.HelMA.Automata.Zot.Expression showsPrec :: Int -> Expression -> ShowS # show :: Expression -> String # showList :: [Expression] -> ShowS # | |
ToDigit Expression # | |
Defined in HelVM.HelMA.Automata.Zot.Expression toDigit :: (MonadSafe m, Integral a) => Expression -> m a | |
Digitable Expression # | |
Defined in HelVM.HelMA.Automata.Zot.Expression fromDigit :: (MonadSafe m, Show a, Integral a) => a -> m Expression |
type Out = Writer ExpressionDList #