Curry.Module.Dequeue

Documentation

data C_Queue t0

Constructors

C_S C_Int (List t0) C_Int (List t0)

C_QueueFail C_Exceptions

C_QueueOr OrRef (Branches (C_Queue t0))

Instances

Read t0 => Read (C_Queue t0)

Show t0 => Show (C_Queue t0)

BaseCurry t0 => BaseCurry (C_Queue t0)

Curry t0 => Curry (C_Queue t0)

c_empty :: Curry t0 => State -> C_Queue t0

c_isEmpty :: Curry t0 => C_Queue t0 -> State -> C_Bool

c_deqHead :: Curry t0 => C_Queue t0 -> State -> t0

c_deqLast :: Curry t0 => C_Queue t0 -> State -> t0

c_cons :: Curry t0 => t0 -> C_Queue t0 -> State -> C_Queue t0

c_deqTail :: Curry t0 => C_Queue t0 -> State -> C_Queue t0

c_snoc :: Curry t0 => t0 -> C_Queue t0 -> State -> C_Queue t0

c_deqInit :: Curry t0 => C_Queue t0 -> State -> C_Queue t0

c_deqReverse :: Curry t0 => C_Queue t0 -> State -> C_Queue t0

c_check :: Curry t0 => C_Int -> List t0 -> C_Int -> List t0 -> State -> C_Queue t0

c_check'46_'35selFP3'35f'39 :: Curry t45 => T2 (List t45) (List t45) -> State -> List t45

c_check'46_'35selFP4'35rf'39 :: Curry t45 => T2 (List t45) (List t45) -> State -> List t45

c_listToDeq :: Curry t0 => List t0 -> State -> C_Queue t0

c_deqToList :: Curry t0 => C_Queue t0 -> State -> List t0

c_deqLength :: Curry t0 => C_Queue t0 -> State -> C_Int

c_rotate :: Curry t0 => C_Queue t0 -> State -> C_Queue t0

c_matchHead :: Curry t0 => C_Queue t0 -> State -> C_Maybe (T2 t0 (C_Queue t0))

c_matchLast :: Curry t0 => C_Queue t0 -> State -> C_Maybe (T2 t0 (C_Queue t0))

c_matchLast_case_2 :: Curry t0 => C_Int -> List t0 -> C_Int -> List t0 -> State -> C_Maybe (T2 t0 (C_Queue t0))

c_matchLast_case_1 :: (BaseCurry t, Curry t0) => List t -> State -> C_Maybe (T2 t (C_Queue t0))

c_matchLast_case_0 :: (BaseCurry t, BaseCurry t0, Curry t1) => t0 -> List t -> State -> C_Maybe (T2 t0 (C_Queue t1))

c_matchHead_case_5 :: Curry t0 => C_Int -> C_Int -> List t0 -> List t0 -> State -> C_Maybe (T2 t0 (C_Queue t0))

c_matchHead_case_4 :: (BaseCurry t, Curry t0) => List t -> State -> C_Maybe (T2 t (C_Queue t0))

c_matchHead_case_3 :: (BaseCurry t, BaseCurry t0, Curry t1) => t0 -> List t -> State -> C_Maybe (T2 t0 (C_Queue t1))

c_check_case_7 :: Curry t0 => C_Int -> List t0 -> C_Int -> List t0 -> C_Int -> C_Int -> T2 (List t0) (List t0) -> C_Bool -> State -> C_Queue t0

c_check_case_6 :: Curry t0 => List t0 -> C_Int -> C_Int -> T2 (List t0) (List t0) -> C_Bool -> State -> C_Queue t0

c_deqInit_case_8 :: Curry t0 => C_Int -> List t0 -> C_Int -> List t0 -> State -> C_Queue t0

c_deqTail_case_9 :: Curry t0 => C_Int -> C_Int -> List t0 -> List t0 -> State -> C_Queue t0

c_deqLast_case_10 :: BaseCurry b => b -> t -> b -> C_Bool -> State -> b

c_deqHead_case_11 :: BaseCurry b => t -> b -> b -> C_Bool -> State -> b