Safe Haskell	None

MAlonzo.Code.Category.Comonad

Documentation

d_RawComonad_22 :: p1 -> p2 -> () Source #

data T_RawComonad_22 Source #

Constructors

C_RawComonad'46'constructor_209 (() -> AgdaAny -> AgdaAny) (() -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)

d_extract_30 :: T_RawComonad_22 -> () -> AgdaAny -> AgdaAny Source #

d_extend_32 :: T_RawComonad_22 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d_duplicate_34 :: T_Level_14 -> (() -> ()) -> T_RawComonad_22 -> () -> AgdaAny -> AgdaAny Source #

du_duplicate_34 :: T_RawComonad_22 -> AgdaAny -> AgdaAny Source #

d_liftW_36 :: T_Level_14 -> (() -> ()) -> T_RawComonad_22 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du_liftW_36 :: T_RawComonad_22 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d__'61''62''62'__40 :: T_Level_14 -> (() -> ()) -> T_RawComonad_22 -> () -> () -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

du__'61''62''62'__40 :: T_RawComonad_22 -> AgdaAny -> (AgdaAny -> AgdaAny) -> AgdaAny Source #

d__'61''62''61'__42 :: T_Level_14 -> (() -> ()) -> T_RawComonad_22 -> () -> () -> T_Level_14 -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du__'61''62''61'__42 :: T_RawComonad_22 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d__'60''60''61'__48 :: T_Level_14 -> (() -> ()) -> T_RawComonad_22 -> () -> () -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du__'60''60''61'__48 :: T_RawComonad_22 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

d__'61''60''61'__50 :: T_Level_14 -> (() -> ()) -> T_RawComonad_22 -> () -> T_Level_14 -> () -> () -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #

du__'61''60''61'__50 :: T_RawComonad_22 -> (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny Source #