plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs

Safe Haskell	Safe-Inferred
Language	Haskell2010

MAlonzo.Code.Category.Comonad

Documentation

d_RawComonad_22 ∷ p → p → () Source #

data T_RawComonad_22 Source #

Constructors

C_RawComonad'46'constructor_293 (() → 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_18 → (() → ()) → T_RawComonad_22 → () → AgdaAny → AgdaAny Source #

du_duplicate_34 ∷ T_RawComonad_22 → AgdaAny → AgdaAny Source #

d_liftW_36 ∷ T_Level_18 → (() → ()) → 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_18 → (() → ()) → 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_18 → (() → ()) → T_RawComonad_22 → () → () → T_Level_18 → () → (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_18 → (() → ()) → 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_18 → (() → ()) → T_RawComonad_22 → () → T_Level_18 → () → () → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #

du__'61''60''61'__50 ∷ T_RawComonad_22 → (AgdaAny → AgdaAny) → (AgdaAny → AgdaAny) → AgdaAny → AgdaAny Source #