CHANGELOG.md

0.0.1

• Define Castable type class
• Define cast method
• Define Identity data type
• Define Supertype type family
• Define U_I_I data type
• Define U_I_II data type
• Define U_II_I data type
• Define Arrow type alias
• Define Straight type alias
• Define Opposite type alias
• Define Mono type alias
• Define Wrapper type class
• Define T_TT_I data type
• Define T_TTT_TT_I data type
• Define U_I_T_II data type
• Define U_T_I_II data type
• Define Kleisli type alias
• Define Recursive data type
• Define U_V_UU_UUU_UUUU_T_TT_I_II_III data type
• Define R_U_I_T_I data type
• Define Mapping type class
• Define map method
• Define unwrap expression
• Define wrap expression
• Define Precategory type class
• Define Category type class
• Define identity method
• Define component expression
• Define Functor type alias
• Define Compositional type class
• Define Natural type alias
• Define Covariant type alias
• Define Contravariant type alias
• Define yi operator
• Define yi_yi operator
• Define yi_yi_yi operator
• Define yi_yi_yi_yi operator
• Define yi_yi_yi_yi_yi operator
• Define fo operator
• Define fa operator
• Define fokl operator
• Define fo_fo operator
• Define fio operator
• Define fio_fo operator
• Define LM data type
• Define ML data type
• Define U_I_UU_I_II data type
• Define Void data type
• Define Representation type family
• Define Representable type class
• Define ro operator
• Define ra operator
• Define Semi type alias
• Define Endo type alias
• Define Neutral type family
• Define Day type alias
• Define Monoidal type class
• Define Groupoid type class
• Define Transformation type class
• Define Component type alias
• Define UU_V_U_I_II_T_II data type
• Define Yoneda type class
• Define fai operator
• Define yo operator
• Define Dumb type class
• Define ya operator
• Define yuk operator
• Define fo_fo_fo operator
• Define Boolean type alias
• Define False pattern synonym
• Define True pattern synonym
• Define Optional type alias
• Define Some pattern synonym
• Define None pattern synonym
• Define U_1_I data type
• Define U_I_UU_III_U_II_I data type
• Define Reference type alias
• Define W_I_II_II data type
• Define Attribute type alias
• Define ho operator
• Define ha operator
• Define W_I_I_II data type
• Define U_I_UU_II_III data type
• Define rw_rw operator
• Define rw_w operator
• Define w_rw operator
• Define Field type class
• Define item method
• Define _yuk operator
• Define Construction type alias
• Define Root patter synonym
• Define Instruction type alias
• Define Instruct patter synonym
• Define Load patter synonym
• Define Vector type family
• Define Adjoint type class
• Define lj operator
• Define rj operator
• Define Dinatural type alias
• Define Yet patter synonym
• Define List type alias
• Define List patter synonym
• Define Next patter synonym
• Define Nonempty type family
• Define Nonempty patter synonym
• Define Brancher type family
• Define dp operator
• Define yokl operator
• Define Empty patter synonym
• Define Progress type alias
• Define Continue patter synonym
• Define Interrupt patter synonym
• Define State type alias
• Define Statefully pattern synonym
• Define rewrap expression
• Define / operator
• Define layer expression
• Define embed expression
• Define Stack type class
• Define push method
• Define pop method
• Define Object data family
• Define Co type family
• Define Limit type alias
• Define Product type alias
• Define Sum type alias
• Define wrapped expression
• Define Terminal type alias
• Define Initial type alias
• Define TT_T_I data type
• Define U_UU_UUU_V_I_II_III_UUUU data type
• Define Flip type family
• Define Flippable type family
• Define absurd expression
• Define empty expression
• Define _lj operator
• Define This type alias
• Define That type alias
• Define U_T_I_TT_I data type
• Define Tree type alias
• Define Binary type family
• Define _i expression
• Define i_ expression
• Define yukl operator
• Define yu operator
• Define joint expression
• Define try expression
• Define UU_U_I_II_U_II_I data type
• Define UU_U_I_III_U_II_III data type
• Define Diagram type alias
• Define Both type alias
• Define Cone type class
• Define left expression
• Define right expression
• Define Orientation type family
• Define Scrolling type family
• Define Scrollable type class
• Define scroll method
• Define Way type alias
• Define Only type alias
• Define Only pattern synonym
• Define hu operator
• Define ha_ha operator
• Define lm operator
• Define ya_ operator
• Define U_I_1 data type
• Define fu operator
• Define Side type alias
• Define Left type alias
• Define Right type alias
• Define ho'yuk operator
• Define Constant type alias
• Define cc operator
• Define huu operator
• Define huuu operator
• Define huuuu operator
• Define huuuuu operator
• Define huuuuuu operator
• Define huuuuuuu operator
• Define huuuuuuuu operator
• Define huuuuuuuuu operator
• Define huuuuuuuuuu operator
• Define ho'ha operator
• Define ha_ho operator
• Define ha_yuk operator
• Define JT type family
• Define Optionally pattern synonym
• Define rwr operator
• Define yo_ operator
• Define enter expression
• Define yu_ operator
• Define Provided type alias
• Define provide expression
• Define rw_rw_rw operator
• Define rwr_yu_ operator
• Define monoidal_ expression
• Define fr operator
• Define rf operator
• Define dp_dp operator
• Define yo_yo operator
• Define dp_yuk operator
• Define yukl_u operator
• Define yukl_u_u operator
• Define yukl_u_u_u operator
• Define yukl_u_u_u_u operator
• Define yukl_u_u_u_u_u operator
• Define yukl_u_u_u_u_u_u operator
• Define dp_yo operator
• Define dp_dp_yo operator
• Define yi_yukl operator
• Define yi_yi_yukl operator
• Define yi_yi_yi_yukl operator
• Define jt operator
• Define dp_dp_jt operator
• Define dp_dp_jt_yukhoperator
• Define rij operator
• Define lm_dp operator
• Define lm_dp_dp operator
• Define rwr_fo_ operator
• Define rwr_yo_ operator
• Define yuk operator
• Define yuk operator
• Define yuk operator
• Define T___I data type
• Define label expression
• Define yok_rw_yok operator
• Define ho'rw operator
• Define lm_dp operator
• Define forever expression
• Define this expression
• Define that expression
• Define until expression
• Define Up pattern synonym
• Define Down pattern synonym
• Define Vertical type alias
• Define Singular type alias
• Define foklKL operator
• Define yoklKL_yok operator
• Define yok_yoklKL operator
• Define constant expression
• Define yi_yu operator
• Define yi_yi_yu operator
• Define yi_yi_yi_yu operator
• Define Decision type alias
• Define No pattern synonym
• Define Yes pattern synonym
• Define Focused type alias
• Define Focused pattern synonym
• Define ho'rw'ho operator
• Define ds operator
• Define Error type alias
• Define Error pattern synonym
• Define Ok pattern synonym
• Define Labeled type alias
• Define Straight pattern synonym
• Define Opposite pattern synonym
• Define yi_rf operator
• Define yi_yi_rf operator
• Define intro expression
• Define lm_ds operator
• Define MLM data type
• Define dw operator
• Define yoklKL_yoklKL operator
• Define Halts type alias
• Define Haltable type alias
• Define Statefully type alias
• Define ARR type alias
• Define ho'rwr'yoi operator
• Define yi_yok operator
• Define TI type alias
• Define rwr_rf operator
• Define rf' operator
• Define yi_ho operator
• Define top expression
• Define rep expression
• Define Forest type family
• Define ho'ho operator
• Define ho'yu operator
• Define transform expression
• Define yi_rw operator
• Define Node pattern synonym
• Define leaf expression
• Define yi_lm operator
• Define yi_yi_lm operator
• Define yi_yi_yi_lm operator
• Define yi_yi_yi_yi_lm operator
• Define yio operator
• Define yio_yo operator
• Define yolk operator
• Define W_III_I_II data type
• Define Attribute type alias
• Define ho operator
• Define ha operator
• Define W_I_I_II data type
• Define U_I_UU_II_III data type
• Define yi'_yi' operator
• Define rw'w operator
• Define w'rw operator
• Define Field type class
• Define itme method
• Define start expression
• Define _yok operator
• Define Same type family
• Define Construction type alias
• Define Root patter synonym
• Define Instruction type alias
• Define Instruct patter synonym
• Define Load patter synonym
• Define Vector type family
• Define Adjoint type class
• Define lj operator
• Define rj operator
• Define Dinatural type alias
• Define Yet patter synonym
• Define List type alias
• Define List patter synonym
• Define Next patter synonym
• Define Nonempty type family
• Define Nonempty patter synonym
• Define Brancher type family
• Define dp operator
• Define yokl operator
• Define Empty patter synonym
• Define Progress type alias
• Define Continue patter synonym
• Define Interrupt patter synonym
• Define Automata type alias
• Define Stateful type alias
• Define Statefully pattern synonym
• Define rewrap expression
• Define / operator
• Define layer expression
• Define embed expression
• Define Stack type class
• Define push method
• Define pop method
• Define Object data family
• Define Co type family
• Define Limit type alias
• Define Product type alias
• Define Sum type alias
• Define wrapped expression
• Define Terminal type alias
• Define Initial type alias
• Define TT_T_I data type
• Define U_UU_UUU_V_I_II_III_UUUU data type
• Define Flip type family
• Define Flippable type family
• Define empty expression
• Define _lj operator
• Define This type alias
• Define That type alias
• Define U'T'I'TT'I data type
• Define Tree type alias
• Define Binary type family
• Define _i expression
• Define i_ expression
• Define yukl operator
• Define yu operator
• Define joint expression
• Define try expression
• Define instant expression
• Define UU_U_I_II_U_II_I data type
• Define UU_U_I_III_U_II_III data type
• Define Diagram type alias
• Define Both type alias
• Define Cone type class
• Define left expression
• Define right expression
• Define Orientation type family
• Define Scrolling type family
• Define Scrollable type class
• Define scroll method
• Define Horizontal type alias
• Define Only type alias
• Define Only pattern synonym
• Define lm operator
• Define ya_ operator
• Define U_I_1 data type
• Define fu operator
• Define Side type alias
• Define Left type alias
• Define Right type alias
• Define Ramification type family
• Define Branching type family
• Define Brancheable type class
• Define branch method
• Define statefully expression
• Define ho'yok operator
• Define Constant type alias
• Define cc operator
• Define ho'ha operator
• Define ha'ho operator
• Define ha'yok operator
• Define JT type family
• Define Optionally pattern synonym
• Define rwr operator
• Define rw operator
• Define yo_ operator
• Define enter expression
• Define yu_ operator
• Define Provided type alias
• Define provide expression
• Define yi'_yi'_yi' operator
• Define rwr_yu_ operator
• Define monoidal_ expression
• Define fr operator
• Define rf operator
• Define dp'dp operator
• Define yo'yo operator
• Define dp'yok operator
• Define dp'yo operator
• Define dp'dp'yo operator
• Define yi'yukl operator
• Define yi'yi'yukl operator
• Define yi'yi'yi'yukl operator
• Define jt operator
• Define dp'dp'jt operator
• Define dp'dp'jt'yokhoperator
• Define rij operator
• Define lm_dp operator
• Define lm'dp'dp operator
• Define rwr'fo' operator
• Define rwr'yo_ operator
• Define yok'rwr'yo_ operator
• Define yok'rwr'yu_ operator
• Define yok'u operator
• Define T___I data type
• Define label expression
• Define yok'rw'yok operator
• Define ho'yi' operator
• Define lm'dp operator
• Define forever expression
• Define this expression
• Define that expression
• Define until expression
• Define Up pattern synonym
• Define Down pattern synonym
• Define Vertical type alias
• Define Singular type alias
• Define foklKL operator
• Define yokl'yok operator
• Define yok'yokl operator
• Define constant expression
• Define yi'yu operator
• Define yi'yi'yu operator
• Define yi'yi'yi'yu operator
• Define Decision type alias
• Define No pattern synonym
• Define Yes pattern synonym
• Define Focused type alias
• Define Focused pattern synonym
• Define ho'yi''ho operator
• Define ds operator
• Define Errorful type alias
• Define Error pattern synonym
• Define Ok pattern synonym
• Define Back type alias
• Define Fore type alias
• Define Back pattern synonym
• Define Fore pattern synonym
• Define Labeled type alias
• Define Straight pattern synonym
• Define Opposite pattern synonym
• Define cata expression
• Define ana expression
• Define day expression
• Define yi'rf operator
• Define yi'yi'rf operator
• Define en'age expression
• Define lm'ds operator
• Define MLM data type
• Define dw operator
• Define yokl'yokl operator
• Define Halting type alias
• Define Haltable type alias
• Define ARR type alias
• Define ho'rwr'yoi operator
• Define yi'yok operator
• Define TI type alias
• Define rwr'rf operator
• Define rw'rf operator
• Define yi'ho operator
• Define top expression
• Define sub expression
• Define rep expression
• Define Forest type family
• Define Twice type alias
• Define ho'ho operator
• Define ho'yu operator
• Define section expression
• Define transform expression
• Define yi'yi' operator
• Define Node pattern synonym
• Define leaf expression
• Define yi'lm operator
• Define yi'yi'lm operator
• Define yi'yi'yi'lm operator
• Define yi'yi'yi'yi'lm operator
• Define yio operator
• Define yio'yo operator
• Define yolk operator
• Define U_III_UU_I_II data type
• Define W_II_II_I data type
• Define W_I_II_I data type
• Define Transition' type alias
• Define Transition pattern
• Define switch expression
• Define review expression
• Define wr operator
• Define Unlabeled type family
• Define Unlabelable type class
• Define unlabel method
• Define rwr'fio operator
• Define ho'rwr'yio operator
• Define pass expression
• Define In pattern
• Define Out pattern
• Define ho'yo operator
• Define Unjointed type family
• Define Unjointable type class
• Define unjoint method
• Define yi'yi'yi' operator
• Define yi'yi'yi'yi' operator
• Define hooo operator
• Define hoooo operator
• Define hooooo operator
• Define hoooooo operator
• Define haaa operator
• Define haaaa operator
• Define haaaaa operator
• Define haaaaaa operator
• Define Same type alias
• Define Same pattern synonym
• Define State pattern synonym
• Define ho'yokl operator
• Define hoo'yokl operator
• Define Automatable type class
• Define U_U_I_II_UU_I_II data type
• Define cn operator
• Define cn'dp operator
• Define yi'yok'yokl operator
• Define yi'yi'yok'yokl operator
• Define yi'yi'yi'yok'yokl operator
• Define hoo'ha operator
• Define yii operator
• Define yiii operator
• Define yiiii operator
• Define yiiiii operator
• Define yiiiiii operator
• Define yiiiiiii operator
• Define yi'yi'yi'rf operator
• Define has method
• Define but expression
• Define Setoid type class
• Define e method and operator
• Define hd operator
• Define hj operator
• Define yoo operator
• Define yi'cn'dp operator
• Define yi'lm'dp operator
• Define fukl operator
• Define ha_yukl operator
• Define yok'a operator
• Define yi'yok'a operator
• Define yi'yi'yok'a operator
• Define yi'yi'yi'yok'ha operator
• Define Function' type alias
• Define ho'yukl operator
• Define yi'yokl operator
• Define yi'yi'yokl operator
• Define same expression
• Define Cascading' type alias
• Define Cascading' pattern synonym
• Define hoo'yukl operator
• Define Valid pattern synonym
• Define Selfsame pattern synonym
• Define Construct pattern synonym
• Define v operator
• Define vv operator
• Define vvv operator
• Define vvvv operator
• Define vvvvv operator
• Define vvvvvv operator
• Define vvvvvvv operator
• Define vvvvvvvv operator
• Define vvvvvvvvv operator
• Define yi'yo operator
• Define yi'yi'yo operator
• Define yi'yi'yi'yo operator
• Define yi'yi'yi_yi'yo operator
• Define ha'yo operator
• Define Match type class
• Define hoo'yo operator
• Define hooo'yo operator
• Define hoooo'yo operator
• Define hooooo'yo operator
• Define hoooooo'yo operator
• Define yok'hu operator
• Define hooo'yok operator
• Define hoooo'yok operator
• Define hooooo'yok operator
• Define hoooooo'yok operator
• Define hooooooo'yok operator
• Define hoooooooo'yok operator
• Define hooooooooo'yok operator
• Define haaaaaaa operator
• Define haaaaaaaa operator
• Define haaaaaaaaa operator
• Define hoo'yukl operator
• Define hooo'yukl operator
• Define hoooo'yukl operator
• Define hooooo'yukl operator
• Define hoooooo'yukl operator
• Define hooooooo'yukl operator
• Define hoooooooo'yukl operator
• Define hooooooooo'yukl operator
• Define is expression
• Define Stream type alias
• Define Scrolled type family
• Define not expression
• Define Shafted type family
• Define change expression
• Define dp'yokKL operator
• Define hj'hj operator
• Define Literal type class
• Define rw'rw'rw'ho operator
• Define Binary pattern synonym
• Define TII type alias
• Define yiiiiiiii operator
• Define ARRR type alias
• Define ARRRR type alias
• Define ARRRRR type alias
• Define ARRRRRR type alias
• Define ARRRRRRR type alias
• Define ARRRRRRRR type alias
• Define put expression
• Define _' operator
• Define yi' operator
• Define yii' operator
• Define yiii' operator
• Define yiiii' operator
• Define yiiiii' operator
• Define hon expression
• Define yii'_yi' operator
• Define yiii'_yi' operator
• Define ho_ operator
• Define ho'_yo operator
• Define ha' operator
• Define as method
• Define ha'_ha operator
• Define yi'rf_ operator
• Define yi'yi'rf_ operator
• Define yi'yi'yi_rf' operator
• Define cn' operator
• Define cn'_dp operator
• Define yi'_rf' operator
• Define yi_cn'_dp operator
• Define yi_yi_cn'_dp operator
• Define yi_yi_yi_cn'_dp operator
• Define yi_yi_lm_dp operator
• Define yi_yi_yi_lm_dp operator
• Define yi_yi_yi_yi_lm_dp operator
• Define yai_yai operator
• Define yi_yi'_yi'_yi' operator
• Define hu' operator
• Define Boolean pattern synonym
• Define Progress pattern synonym
• Define Probably pattern synonym
• Define yi'yi'_yi' operator
• Define yi'yi'yi'_yi' operator
• Define yi'lm'ds operator
• Define yi'yi'lm'ds operator
• Define yiu operator
• Define Maybe pattern synonym
• Define Maybe type alias
• Define fai' operator
• Define Future pattern synonym
• Define Passed pattern synonym
• Define drusba expression
• Define yioi operator
• Define auto expression
• Define ho'yioi operator
• Define ha'yioi operator
• Define Attribute pattern synonym
• Define self expression
• Define fiu operator
• Define hv operator
• Define __yi operator
• Define _ho operator
• Define __' operator
• Define ___' operator
• Define _hu operator
• Define hu_ operator
• Define __hu operator
• Define ___hu operator
• Define hu__ operator
• Define __ho operator