plutus-metatheory-0.1.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

MAlonzo.Code.Data.Maybe.Relation.Unary.Any

Documentation

d_Any_18 ∷ p → p → p → p → p → () Source #

newtype T_Any_18 Source #

Constructors

C_just_30 AgdaAny 

d_map_58T_Level_18T_Level_18 → () → (AgdaAny → ()) → T_Level_18 → (AgdaAny → ()) → (AgdaAnyAgdaAnyAgdaAny) → Maybe AgdaAnyT_Any_18T_Any_18 Source #

d_zipWith_90T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAnyT_Σ_14AgdaAny) → Maybe AgdaAnyT_Σ_14T_Any_18 Source #

d_unzipWith_98T_Level_18T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAny → ()) → (AgdaAnyAgdaAnyT_Σ_14) → Maybe AgdaAnyT_Any_18T_Σ_14 Source #

d_zip_120T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → Maybe AgdaAnyT_Σ_14T_Any_18 Source #

d_unzip_122T_Level_18T_Level_18T_Level_18 → () → (AgdaAny → ()) → (AgdaAny → ()) → Maybe AgdaAnyT_Any_18T_Σ_14 Source #

d_dec_136T_Level_18T_Level_18 → () → (AgdaAny → ()) → (AgdaAnyT_Dec_32) → Maybe AgdaAnyT_Dec_32 Source #