Data.State

Simple State function, have an isomorphism with Maybe but order are diferent

Data and type

data State a

Macine states are only a label, maybe a letter

Constructors

Q a

State constructor

QE

Error state

Instances

Monad State

Same as Maybe

Functor State

Same as Maybe

Applicative State

Same as Maybe

Foldable State

Bounded a => Bounded (State a)

In this differ with Maybe because this show a upper bounded order

Enum a => Enum (State a)

Same as Maybe

Eq a => Eq (State a)

Ord a => Ord (State a)

Show a => Show (State a)

Monoid a => Monoid (State a)

type Final a = [State a]

Final state represent a set of states which elements put end to computation

terminal :: Eq a => Final a -> State a -> Bool

Tells if a state is final

Functions

isError :: Eq a => State a -> Bool

Verifica si el estado es de error, comparandolo con la definicion de estado de error

Tells if a state is a error state